nkly / toydbLinks
Dead simple SQL database written in Haskell for solely educational purposes
☆15Updated 9 years ago
Alternatives and similar repositories for toydb
Users that are interested in toydb are comparing it to the libraries listed below
Sorting:
- Generic parser combinators☆87Updated 3 months ago
- Containers for STM☆68Updated 4 months ago
- Haskell library for PDF generation (graphics and typesetting)☆26Updated 5 years ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆104Updated 3 months ago
- Recursion schemes for Idris☆64Updated 6 years ago
- A port of Apache Sparks to Haskell using distributed process☆33Updated 8 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- higher-kinded data☆30Updated 2 years ago
- haskell memory☆48Updated last year
- A Specification for Dependent Types in Haskell (Core)☆64Updated 2 years ago
- Dive into GHC☆82Updated 8 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 10 months ago
- Serializable closures for distributed programming.☆65Updated last year
- The Haskell Refactoring Tool☆136Updated 5 years ago
- Open records for Haskell☆22Updated 7 years ago
- ☆15Updated 8 years ago
- B+-tree implementation in Haskell☆27Updated 6 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- Interpreter for GHC Haskell☆22Updated 5 years ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 9 years ago
- A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API☆130Updated 3 years ago
- Memoization monad transformer☆30Updated last year
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- Haskell Standard Input and Output☆46Updated 7 years ago
- System F implemented in Haskell☆24Updated 13 years ago
- a simple functional language for learners☆30Updated 8 years ago
- Literature review of GHC's Core language, System FC☆67Updated 6 years ago
- the EitherT monad transformer☆55Updated 3 months ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago