jkarni / ZipperFSLinks
Oleg Kiselyov's zipper-based file-server/OS
☆26Updated 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 3 months ago
- Reimplementation of a subset of Cabal☆32Updated last week
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated 3 weeks ago
- The compilation target that functional programmers always wanted.☆62Updated 5 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 11 months ago
- Examples from Introduction to Programming in ATS☆26Updated 11 years ago
- An efficient graph library for Haskell☆38Updated last month
- Lua backend for Idris 2☆28Updated 3 years ago
- A small NuPRL style proof assistant☆31Updated 6 years ago
- Simple, layout-based, unambiguous configuration language implemented in Haskell☆18Updated 9 months ago
- enumerative property-based testing for Haskell☆52Updated last month
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆16Updated 3 weeks ago
- NES programming in Haskell? No way!☆39Updated 9 years ago
- Collection of ATS goodness☆34Updated 5 years ago
- Invertible parsing for S-expressions☆34Updated 6 months ago
- Tools for building 3D interactive programs in Haskell☆73Updated 2 weeks ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆76Updated last month
- A usable type system for call by push-value☆33Updated 5 years ago
- Browsing man pages and help pages with zero friction.☆35Updated 6 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Run GHCi from within a Reflex FRP application and interact with it using a functional reactive interface.☆40Updated last year
- GRIN backend for Idris☆50Updated 5 years ago
- Build tool for ATS.☆42Updated 3 years ago
- tiny hack for colored pretty-printing within ghci☆21Updated 3 years ago
- A simple directory-like tree datatype, with useful IO functions, for Haskell☆26Updated last year
- Haskell JSON library☆27Updated 11 months ago
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- My personal web site☆17Updated last month