dfithian / dfdbLinks
Write my own database from scratch
☆18Updated 4 years ago
Alternatives and similar repositories for dfdb
Users that are interested in dfdb are comparing it to the libraries listed below
Sorting:
- The Haskell Thrift Compiler. This is an implementation of the Thrift spec that generates code in Haskell. It depends on the fbthrift proj…☆161Updated this week
- IO lib for haskell☆99Updated last year
- Fast parsing from bytestrings☆173Updated 4 months ago
- Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell☆155Updated 4 years ago
- array, slices and text☆70Updated last year
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆110Updated 2 weeks ago
- A distributed data processing framework in Haskell.☆117Updated 5 years ago
- Haskell on-disk B* tree implementation☆116Updated 4 years ago
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Updated 3 years ago
- Effects libraries in Haskell☆71Updated 2 years ago
- An extension for PostgreSQL that allows embedded Haskell code.☆147Updated 3 months ago
- A continuation of Stephen Diehl's Write You a Haskell☆162Updated 5 years ago
- Types and Programming Languages☆37Updated 11 years ago
- A Turing complete language 😉☆42Updated 5 years ago
- A beginner's guide to Haskell optimization☆65Updated 8 years ago
- A logical authorization system☆51Updated 3 years ago
- Strongly-typed System F in Haskell☆120Updated 3 years ago
- Haskell driver for ClickHouse☆17Updated 5 years ago
- Embedded specification language & model checker in Haskell☆179Updated 9 months ago
- GHC Whole Program Compiler and External STG IR tooling☆120Updated 3 months ago
- Rough and Ready Haskell Notebooks with HLS and VS Code☆47Updated 3 years ago
- Efficient Haskell effect handlers based on evidence translation.☆86Updated 4 years ago
- The category theory by example book☆59Updated 3 months ago
- A tutorial about how to apply property-based testing to stateful systems.☆82Updated 2 years ago
- Example language server (LSP) implementation for a toy language☆60Updated 4 years ago
- Learn the Agda basics in three 2-hour sessions.☆60Updated 4 months ago
- Dive into Haskell: Examples of all features of this Pure Functional programing language☆71Updated 2 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆138Updated 2 years ago
- Source material for Certainty by Construction☆48Updated 2 years ago
- Haskell language tools for Python☆163Updated 5 years ago