jkarni / ZipperFS
Oleg Kiselyov's zipper-based file-server/OS
☆24Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for ZipperFS
- Fixed length vector for haskell☆21Updated this week
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆34Updated 3 weeks ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- An epoll-based HTTP library for ATS2☆14Updated last year
- a language about nothing☆19Updated 5 years ago
- Run GHCi from within a Reflex FRP application and interact with it using a functional reactive interface.☆38Updated 8 months ago
- Invertible parsing for S-expressions☆33Updated 2 months ago
- ☆23Updated 6 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- An efficient graph library for Haskell☆39Updated 3 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 11 months ago
- optimising compiler for Haskell's intermediate representation (STG) to LLVM IR☆31Updated 5 years ago
- SPJ's tutorial on implementing functional languages☆28Updated 5 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Reimplementation of a subset of Cabal☆23Updated this week
- A natural transformation package☆16Updated 3 weeks ago
- Simple, layout-based, unambiguous configuration language implemented in Haskell☆18Updated last month
- An OS written in Idris (eventually...)☆18Updated 9 years ago
- ☆40Updated last year
- Tools for building 3D interactive programs in Haskell☆67Updated 7 months ago
- NES programming in Haskell? No way!☆38Updated 8 years ago
- JHC Haskell compiler split into reusable components☆57Updated 5 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 5 months ago
- The Str signature and implementations☆21Updated 7 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- Asymptotically optimal Brodal/Okasaki heaps☆29Updated 3 weeks ago
- Haskell project statistics and definition analysis☆15Updated last year
- A fast Haskell library for parsing ByteStrings☆10Updated 3 years ago
- Haskell library for glob matching☆25Updated 2 years ago