jkarni / ZipperFS
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
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 5 months ago
- Reimplementation of a subset of Cabal☆26Updated last month
- Haskell port of the Nanopass Compiler Framework☆22Updated last year
- Fixed length vector for haskell☆21Updated 3 months ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- An efficient graph library for Haskell☆39Updated 8 months ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- Run dyalog APL and RIDE on nixos☆20Updated 11 months ago
- Automatic type class law checking.☆24Updated 3 months ago
- JHC Haskell compiler split into reusable components☆16Updated 2 years ago
- NES programming in Haskell? No way!☆38Updated 9 years ago
- Simple, layout-based, unambiguous configuration language implemented in Haskell☆18Updated 3 months ago
- Compositional type checking for Haskell☆37Updated 14 years ago
- A build tool/package manager for C, configured with Dhall☆68Updated last year
- ☆41Updated last year
- GHC prof manipulation script☆32Updated last year
- Logic puzzle game based on the lambda calculus☆20Updated 12 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆29Updated last year
- Refactorio is a tool with which you build and maintain software.☆19Updated 10 months ago
- Asymptotically optimal Brodal/Okasaki heaps☆30Updated 4 months ago
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆16Updated last month
- Invertible parsing for S-expressions☆34Updated 2 weeks ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- a language about nothing☆19Updated 5 years ago
- Build tool for ATS.☆41Updated 3 years ago
- Haskell implementation of data structures for data science☆21Updated last month
- A small NuPRL style proof assistant☆31Updated 6 years ago
- lucid + htmx = lucid-htmx☆19Updated 8 months ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated 3 weeks ago