nkly / toydb
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
- Generic parser combinators☆87Updated last month
- Build tool for ATS.☆41Updated 3 years ago
- Containers for STM☆68Updated 2 months ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Transactional key-value store written entirely in Haskell☆93Updated 4 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Dive into GHC☆82Updated 8 years ago
- Monad Transformers and Classes☆77Updated 5 years ago
- Serializable closures for distributed programming.☆64Updated last year
- ☆33Updated 9 years ago
- Haskell 98 contravariant functors☆73Updated 6 months ago
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- Haskell 98 comonads☆78Updated last month
- haskell lazy evaluation illustrated☆72Updated 7 years ago
- Haskell Standard Input and Output☆46Updated 6 years ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆104Updated last month
- higher-kinded data☆30Updated last year
- ☆15Updated 7 years ago
- Unpacked containers using backpack☆52Updated 5 years ago
- Diffing of (expression) trees.☆78Updated 3 months ago
- A port of Apache Sparks to Haskell using distributed process☆33Updated 8 years ago
- Open records for Haskell☆22Updated 7 years ago
- A monad for managed values☆50Updated 2 years ago
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Updated 2 years ago
- Literature review of GHC's Core language, System FC☆67Updated 6 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Implement monads by specifying instructions and their desired operational semantics.☆83Updated 11 months ago