jkarni / ZipperFSLinks
Oleg Kiselyov's zipper-based file-server/OS
☆27Updated 5 years ago
Alternatives and similar repositories for ZipperFS
Users that are interested in ZipperFS are comparing it to the libraries listed below
Sorting:
- Functional, expression-oriented data processing language☆90Updated last month
- Implementing a small functional language with a combinator based graph-reduction machine☆39Updated 3 months ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆36Updated last year
- A small NuPRL style proof assistant☆31Updated 6 years ago
- Examples from Introduction to Programming in ATS☆26Updated 11 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Lua backend for Idris 2☆28Updated 3 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated last year
- An efficient graph library for Haskell☆40Updated 4 months ago
- Reimplementation of a subset of Cabal☆35Updated this week
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 3 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆57Updated 5 years ago
- Haskell JSON library☆27Updated last year
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Updated last year
- enumerative property-based testing for Haskell☆52Updated 4 months ago
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆16Updated 3 weeks ago
- The compilation target that functional programmers always wanted.☆62Updated 5 years ago
- Morte IDE☆29Updated 9 months ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Jhc: Haskell Compiler☆39Updated 10 years ago
- Invertible parsing for S-expressions☆34Updated 8 months ago
- Collection of ATS goodness☆34Updated 6 years ago
- NES programming in Haskell? No way!☆39Updated 10 years ago
- Agda-style equational reasoning in Haskell☆54Updated 8 months ago
- classical sequent calculus, embedded in Haskell☆21Updated 4 months ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆15Updated 10 months ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Updated 12 years ago
- Tools for building 3D interactive programs in Haskell☆73Updated 3 weeks ago
- GRIN backend for Idris☆50Updated 5 years ago
- Library for invertible parsing and printing☆33Updated 4 months ago