Skip to content
View isomorpheme's full-sized avatar

Highlights

  • Pro

Block or report isomorpheme

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
  • nixfiles Public

    Personal Nix configuration

    Nix Updated Dec 20, 2024
  • logic-lean4 Public

    Reasoning about formal logic in Lean 4

    Lean Updated Dec 3, 2024
  • sandbox Public

    Updated Sep 26, 2024
  • winamp Public

    Forked from alexfreud/winamp

    get forked lol

    C++ Other Updated Sep 24, 2024
  • tapecable Public

    Rust 1 Updated Aug 30, 2024
  • haddock Public

    Forked from haskell/haddock

    Haskell Documentation Tool

    HTML BSD 2-Clause "Simplified" License Updated Jun 11, 2024
  • esqueleto Public

    Forked from bitemyapp/esqueleto

    New home of Esqueleto, please file issues so we can get things caught up!

    Haskell BSD 3-Clause "New" or "Revised" License Updated Oct 4, 2023
  • git-absorb Public

    Forked from tummychow/git-absorb

    git commit --fixup, but automatic

    Rust BSD 3-Clause "New" or "Revised" License Updated Sep 6, 2023
  • A package index for the Haskell ecosystem

    Haskell Other Updated Jun 12, 2023
  • ghc.dev Public

    Forked from serokell/ghc.dev

    The https://ghc.dev Website Generator

    Haskell Updated May 19, 2023
  • servant Public

    Forked from haskell-servant/servant

    Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!

    Haskell Updated Jan 9, 2023
  • dotfiles Public archive

    Configuration & Customization

    Shell Updated Oct 6, 2022
  • persistent Public

    Forked from yesodweb/persistent

    Persistence interface for Haskell allowing multiple storage methods.

    Haskell MIT License Updated Mar 8, 2022
  • aoc21 Public

    Advent of Code 2021

    Racket Updated Dec 4, 2021
  • hasktrace Public

    A ray tracer in Haskell. For fun, probably not profit.

    Haskell Updated Oct 18, 2021
  • unison-code Public

    Updated Oct 13, 2021
  • esolangs-rs Public

    Implementing a bunch of esoteric languages in Rust.

    Rust Updated Sep 19, 2021
  • Haskell implementation of open games

    Haskell GNU Affero General Public License v3.0 Updated Jul 10, 2021
  • piet-rs Public

    An interpreter for the Piet programming language, written in Rust

    Rust 4 1 MIT License Updated Nov 26, 2020
  • parsy Public

    Forked from python-parsy/parsy

    Easy and elegant parser combinators for Python. With awesome docs.

    Python MIT License Updated Jan 22, 2020
  • crabtrace Public

    A toy ray tracer witten in Rust

    Rust MIT License Updated Nov 14, 2019
  • spectre Public

    Forked from picturepan2/spectre

    Spectre.css - A Lightweight, Responsive and Modern CSS Framework

    CSS MIT License Updated Aug 9, 2019
  • Prolog Updated Aug 6, 2019
  • serenity Public

    Forked from serenity-rs/serenity

    A Rust library for the Discord API.

    Rust ISC License Updated Feb 24, 2019
  • A Docker image with Pandoc, LaTeX, and extra tools

    MIT License Updated Jun 21, 2018
  • A Haskell module for parsing and pretty-printing PHP. Because obviously.

    Haskell 1 1 MIT License Updated May 1, 2018
  • rust Public

    Forked from rust-lang/rust

    A safe, concurrent, practical language.

    Rust Other Updated Apr 14, 2018
  • Updated Mar 14, 2018
  • Yet another Brainfuck interpreter in Haskell

    Haskell BSD 3-Clause "New" or "Revised" License Updated Dec 24, 2017
  • aoc-17 Public

    Advent of Code 2017 Solutions

    Rust Updated Dec 3, 2017