samth / git-sliceLinks
Slicing git repositories.
☆22Updated 7 years ago
Alternatives and similar repositories for git-slice
Users that are interested in git-slice are comparing it to the libraries listed below
Sorting:
- A hobby implementation of an ncurses binding for Idris 2☆16Updated last year
- A semantic highlighter for Idris code☆14Updated 7 years ago
- A very little language☆16Updated 2 years ago
- Experimental normalisation via scheme☆12Updated 4 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated last year
- ☆21Updated 8 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆36Updated last year
- Erlang BEAM emulator in Haskell☆48Updated 11 years ago
- A template for idris projects☆11Updated 4 years ago
- A table library for Idris 2☆15Updated 3 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29Updated 4 years ago
- Implementation of local and remote loci for Racket☆12Updated 5 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆16Updated 11 months ago
- Prettyprinting transformers for rainbow parens, precedence, etc.☆16Updated 3 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 6 years ago
- A simple build system for Idris☆22Updated 4 years ago
- A Haskell-like language for scripting and web apps☆14Updated last year
- Visualization of Haskell data structures☆16Updated last year
- Dependently typed elimination functions using singletons☆28Updated 3 weeks ago
- A small NuPRL style proof assistant☆31Updated 7 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Updated 7 years ago
- Darwin is a static blog generator written in Racket - forked from Frog☆18Updated 5 years ago
- ☆17Updated 7 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 6 years ago
- Commonly useful extensions for the MMark markdown processor☆12Updated 2 weeks ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- Funny little Haskell impl☆18Updated 5 years ago
- ☆17Updated last year
- ☆22Updated 5 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago