jkarni / ZipperFSLinks
Oleg Kiselyov's zipper-based file-server/OS
☆25Updated 5 years ago
Alternatives and similar repositories for ZipperFS
Users that are interested in ZipperFS are comparing it to the libraries listed below
Sorting:
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 7 months ago
- Fixed length vector for haskell☆21Updated 5 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆31Updated last year
- An efficient graph library for Haskell☆39Updated 3 weeks ago
- Reimplementation of a subset of Cabal☆28Updated 3 months ago
- SPJ's tutorial on implementing functional languages☆29Updated 5 years ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- ☆41Updated last year
- a language about nothing☆19Updated 5 years ago
- 🎭 Actor library for Haskell☆30Updated 2 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- JHC Haskell compiler split into reusable components☆16Updated 2 years ago
- Functional, expression-oriented data processing language☆89Updated last month
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- The Str signature and implementations☆21Updated 8 years ago
- GHC prof manipulation script☆32Updated last year
- NES programming in Haskell? No way!☆38Updated 9 years ago
- enumerative property-based testing for Haskell☆53Updated 4 months ago
- Lua backend for Idris 2☆28Updated 2 years ago
- Keep your laziness in check!☆33Updated 2 years ago
- ☆26Updated 5 months ago
- Haskell project statistics and definition analysis☆15Updated 2 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 3 years ago
- Haskell port of the Nanopass Compiler Framework☆22Updated 2 weeks ago
- My personal web site☆17Updated 2 months ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- For supporting template-based programming☆21Updated 4 years ago
- Automatic type class law checking.☆24Updated 5 months ago
- ⛏️ A refinement proof framework for haskell☆69Updated 2 years ago