A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"
☆46Feb 15, 2019Updated 7 years ago
Alternatives and similar repositories for 500-sql-haskell
Users that are interested in 500-sql-haskell are comparing it to the libraries listed below
Sorting:
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 7 years ago
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated last month
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Oct 28, 2019Updated 6 years ago
- Haskell streaming library optimized for low CPU and GC overhead☆16Jun 21, 2018Updated 7 years ago
- Diffing of (expression) trees.☆79Jul 9, 2025Updated 7 months ago
- Concurrent and efficient implementation of statsd in Haskell☆19Feb 12, 2014Updated 12 years ago
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 7 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- A collection of Notes on GHC☆71Apr 14, 2019Updated 6 years ago
- A thread-safe hash table in Haskell☆15Feb 28, 2020Updated 6 years ago
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆150Sep 30, 2021Updated 4 years ago
- Programmatically create new instances using core-to-core plugins☆11Mar 24, 2021Updated 4 years ago
- Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)☆57Apr 10, 2022Updated 3 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- Interpreter for GHC Haskell☆22Nov 9, 2019Updated 6 years ago
- An append only list in a compact region☆25Sep 6, 2018Updated 7 years ago
- Deserialize PostgreSQL rows to Haskell records by matching column names and record field names☆13Feb 19, 2018Updated 8 years ago
- The Elements of Statistical Learning in Haskell☆13Nov 29, 2017Updated 8 years ago
- Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell☆17Apr 13, 2019Updated 6 years ago
- Sample code to build a C library from a Haskell module, then call it from C☆16Jun 22, 2017Updated 8 years ago
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Feb 28, 2018Updated 8 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Jan 14, 2019Updated 7 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- ☆20Apr 17, 2019Updated 6 years ago
- Content Addressable Storage Archive☆41Sep 26, 2025Updated 5 months ago
- An applicative monad that batches commands for later more efficient execution☆28Jan 21, 2018Updated 8 years ago
- a modern library for typed path manipulation in Haskell☆36Jul 24, 2025Updated 7 months ago
- An efficient graph library for Haskell☆41Aug 26, 2025Updated 6 months ago
- A monadic interface for DAG construction.☆24May 11, 2021Updated 4 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Sep 28, 2015Updated 10 years ago
- Real-time collaborative editing with Operational Transformation☆40Jul 20, 2024Updated last year
- Continuously varying values, made easy :)☆42Oct 21, 2019Updated 6 years ago
- Kleene algebra, regular expressions☆33Nov 18, 2023Updated 2 years ago
- Ghosts of Departed Proofs☆63Nov 26, 2020Updated 5 years ago
- doom☆17Mar 8, 2016Updated 9 years ago
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 7 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18May 15, 2019Updated 6 years ago
- Integration of the Warp webserver with Let's Encrypt☆19Mar 7, 2017Updated 8 years ago
- Cryptographic library for Haskell☆69Feb 18, 2025Updated last year