jkarni / ZipperFS
Oleg Kiselyov's zipper-based file-server/OS
☆24Updated 4 years ago
Alternatives and similar repositories for ZipperFS:
Users that are interested in ZipperFS are comparing it to the libraries listed below
- Fixed length vector for haskell☆21Updated 2 months ago
- A build tool/package manager for C, configured with Dhall☆68Updated last year
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 5 months ago
- GHC prof manipulation script☆32Updated last year
- Reimplementation of a subset of Cabal☆26Updated 2 weeks ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆72Updated 2 months ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Simple, layout-based, unambiguous configuration language implemented in Haskell☆18Updated 3 months ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- Build tool for ATS.☆41Updated 2 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated this week
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 3 months ago
- SPJ's tutorial on implementing functional languages☆28Updated 5 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- ☆41Updated last year
- An efficient graph library for Haskell☆39Updated 7 months ago
- Haskell library for glob matching☆25Updated 3 years ago
- A Haskell implementation of the Formality language☆18Updated 5 years ago
- Invertible parsing for S-expressions☆34Updated 6 months ago
- ☆41Updated 7 years ago
- Compositional type checking for Haskell☆37Updated 13 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Generic functions for single-sorted first-order structural unification☆42Updated 3 weeks ago
- optimising compiler for Haskell's intermediate representation (STG) to LLVM IR☆31Updated 5 years ago
- Generate NetHack configurations using Dhall☆36Updated 3 years ago
- Tools for building 3D interactive programs in Haskell☆70Updated 3 weeks ago
- Comma (and other) separated values☆77Updated last year
- Automatic type class law checking.☆24Updated 2 months ago