EarlGray / omitLinks
A self-hosting subset of git functionality in 500 lines
☆13Updated 7 years ago
Alternatives and similar repositories for omit
Users that are interested in omit are comparing it to the libraries listed below
Sorting:
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 7 years ago
- Morte IDE☆29Updated 9 months ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- The LVish Haskell library☆80Updated 3 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- Invertible parsing for S-expressions☆34Updated 9 months ago
- System POSIX bindings for Idris.☆36Updated 7 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆36Updated last year
- Edison: A Library of Efficient Data Structures☆57Updated last week
- Static blog generator in Idris.☆40Updated 10 years ago
- Hakyll wrapper for the Elm (http://elm-lang.org) compiler☆15Updated 11 years ago
- 🌋 Idris implementation of patricia tree☆23Updated 5 years ago
- a logic-based trust-management system☆19Updated 13 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Updated 8 years ago
- Idris, but it's C☆24Updated 7 years ago
- Spacemacs Layer for LiquidHaskell☆13Updated 8 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 7 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Updated 7 years ago
- The Spire Programming Language☆59Updated 11 years ago
- Hakyll support for Agda literate files☆19Updated 4 years ago
- Write yourself a typed functional language☆65Updated 7 years ago
- ☆23Updated 2 years ago
- JVM implementation in Haskell☆44Updated last year
- ☆23Updated 8 years ago
- Agda-style equational reasoning in Haskell☆54Updated last week
- Recursion schemes for Idris☆64Updated 7 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Updated 7 years ago
- Dependently typed Algorithm M and friends☆26Updated 7 years ago
- An attempt to formalize unix cat in fiat☆11Updated 8 years ago