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:
- Functional, expression-oriented data processing language☆89Updated last month
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 9 months ago
- Collection of ATS goodness☆35Updated 5 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆35Updated last week
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- An efficient graph library for Haskell☆38Updated 2 months ago
- Haskell JSON library☆27Updated 8 months ago
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- Simple, layout-based, unambiguous configuration language implemented in Haskell☆18Updated 7 months ago
- Reimplementation of a subset of Cabal☆30Updated 2 weeks ago
- Vim plugin for ATS☆16Updated 4 years ago
- Tools for building 3D interactive programs in Haskell☆72Updated last week
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- A Dynamic Reconfiguration Library for Haskell Programs☆92Updated 2 months ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated last month
- GRIN backend for Idris☆50Updated 5 years ago
- The compilation target that functional programmers always wanted.☆62Updated 5 years ago
- enumerative property-based testing for Haskell☆52Updated 6 months ago
- My personal web site☆17Updated 4 months ago
- A small NuPRL style proof assistant☆31Updated 6 years ago
- A simple, purely-functional programming language☆25Updated 3 years ago
- Jhc: Haskell Compiler☆38Updated 9 years ago
- Invertible parsing for S-expressions☆34Updated 3 months ago
- ☆12Updated 4 years ago
- First class patterns and pattern matching, using type families☆17Updated 4 years ago
- The LC3 virtual machine☆23Updated 7 months ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- tiny hack for colored pretty-printing within ghci☆20Updated 2 years ago