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 5 months ago
- Dive into GHC☆82Updated 8 years ago
- Transactional key-value store written entirely in Haskell☆93Updated 4 years ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆103Updated 5 months ago
- A port of Apache Sparks to Haskell using distributed process☆33Updated 8 years ago
- Recursion schemes for Idris☆65Updated 6 years ago
- Haskell 98 comonads☆77Updated 5 months ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆100Updated 2 years ago
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- Generic HTTP types for Haskell (for both client and server code)☆54Updated last year
- Generic Programming using True Sums of Products☆162Updated last week
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆80Updated last month
- The Disco Discus Compiler☆174Updated 6 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- A syntax for unions of constraints in Haskell☆70Updated 8 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆78Updated 5 years ago
- Haskell 98 contravariant functors☆73Updated 9 months ago
- Typed filepath☆125Updated 6 months ago
- A Haskell package that provides a monad transformer for mocking mtl-style typeclasses☆70Updated 5 years ago
- A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API☆130Updated 3 years ago
- ☆50Updated 9 years ago
- ☆79Updated last year
- Difference lists in Haskell☆65Updated last year
- A brief exploration of the various approaches to modeling side effects in a purely functional programming language.☆98Updated 3 years ago
- Implement monads by specifying instructions and their desired operational semantics.☆84Updated last year
- Haskell library for PDF generation (graphics and typesetting)☆27Updated 5 years ago
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆97Updated 3 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Fast binary serialization in Haskell☆110Updated 7 months ago
- Containers for STM☆71Updated 6 months ago