mpickering / 500-sql-haskell
A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"
☆47Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for 500-sql-haskell
- ☆41Updated 7 years ago
- ☆40Updated 6 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 5 months ago
- Lens interface for your filesystem☆22Updated 3 years ago
- ICFP 2019 preprints/papers☆44Updated 5 years ago
- Compositional type checking for Haskell☆36Updated 13 years ago
- ☆23Updated 7 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- B+-tree implementation in Haskell☆27Updated 5 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- A general purpose programming language with linear types☆44Updated 7 years ago
- Agda-style equational reasoning in Haskell☆51Updated 6 months ago
- JHC Haskell compiler split into reusable components☆57Updated 5 years ago
- JVM implementation in Haskell☆44Updated 2 months ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 6 months ago
- Invertible parsing for S-expressions☆33Updated 2 months ago
- Haskell library for efficiently building up buffers☆26Updated 3 months ago
- Calculate various string metrics efficiently in Haskell☆43Updated last month
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Updated 10 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- A hip inductive theorem prover!☆88Updated 3 years ago
- Comma (and other) separated values☆76Updated last year
- ☆20Updated 5 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- Financial datetimes and holiday recurrence rules☆18Updated 4 years ago