EarlGray / omit
A self-hosting subset of git functionality in 500 lines
☆13Updated 6 years ago
Alternatives and similar repositories for omit:
Users that are interested in omit are comparing it to the libraries listed below
- An attempt to formalize unix cat in fiat☆12Updated 7 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 5 months ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆13Updated 7 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- An implementation of the Core language☆30Updated 9 years ago
- A compiler from mini-STG to Wasm (**far from complete**)☆14Updated 7 years ago
- Embedding a Full Linear Lambda Calculus in Haskell☆8Updated 9 years ago
- Parser and type analysis for the Go programming language☆12Updated last year
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- Rope data structure used by Yi☆20Updated 6 years ago
- A natural transformation package☆16Updated 3 weeks ago
- Morte IDE☆29Updated last year
- a logic-based trust-management system☆19Updated 12 years ago
- A nullary type class for partial functions☆15Updated 7 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 5 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Updated 7 years ago
- Tagged Haskell learning resources index☆21Updated 8 years ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Updated 5 months ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- A simple, purely-functional programming language☆24Updated 2 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Backtracking monad in Haskell☆14Updated 3 years ago
- Extensible HTTP Web server configured entirely by a yaml file☆25Updated 7 years ago
- A RWS like monad without the slow writer stuff☆12Updated last year
- An approach to user interfaces based in denotational design.☆26Updated 2 years ago
- Get the Haskell documentation of a name from a module☆31Updated 5 years ago
- A constant-memory approximation of set membership☆24Updated 2 months ago