Playing with DSLs in Haskell
☆22Feb 13, 2017Updated 9 years ago
Alternatives and similar repositories for little-languages
Users that are interested in little-languages are comparing it to the libraries listed below
Sorting:
- A Generic implementation of data-has.☆22May 15, 2020Updated 5 years ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- Find your most-used shell commands☆13Dec 14, 2020Updated 5 years ago
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 7 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Jan 14, 2019Updated 7 years ago
- Funny little Haskell impl☆18Oct 28, 2020Updated 5 years ago
- ☆16Apr 19, 2022Updated 3 years ago
- Logging library to provide more convenient, extremely configurable but simple monadic interface with pretty output☆18Mar 4, 2020Updated 5 years ago
- An experimental language server for SomewhatML☆24Dec 30, 2022Updated 3 years ago
- An MVC library for writing interactive webpages in OCaml☆35Jan 23, 2015Updated 11 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Jan 18, 2020Updated 6 years ago
- Like the Programming Languages Zoo but with esoteric languages.☆25May 22, 2020Updated 5 years ago
- Haskell to brainfuck compiler☆31May 11, 2014Updated 11 years ago
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆23Dec 14, 2016Updated 9 years ago
- 🖼️ the compiling to closed categories compiler☆66Apr 17, 2018Updated 7 years ago
- Dependently typed Algorithm M and friends☆26Jun 2, 2018Updated 7 years ago
- Overloaded plugin☆31Jun 15, 2024Updated last year
- Accepted papers for ICFP 2014☆119May 19, 2016Updated 9 years ago
- Slides and exercises for an STM "course" series☆30Jun 10, 2020Updated 5 years ago
- Experiments with sequent calculi☆28Mar 28, 2021Updated 4 years ago
- Beseder: make impossible state transitions impossible☆31Mar 21, 2020Updated 5 years ago
- Extensible type-safe unions for Haskell☆34Mar 15, 2025Updated 11 months ago
- Provides the region monad for safely opening and working with scarce resources☆33Feb 24, 2015Updated 11 years ago
- tools for writing better type errors☆73Sep 15, 2023Updated 2 years ago
- ☆31Mar 5, 2022Updated 3 years ago
- Coq proofs for the paper "Calculating Correct Compilers"☆31Dec 11, 2023Updated 2 years ago
- Web-based reference manager, written in Haskell.☆30May 7, 2016Updated 9 years ago
- Trying to get back all the stuff I had in JavaScript.☆70Oct 7, 2018Updated 7 years ago
- Compile Dhall expressions to Cabal files☆102Dec 26, 2022Updated 3 years ago
- Text lenses using PCRE regexes☆128Dec 11, 2024Updated last year
- small programming language. pls be gentle.☆39Feb 3, 2026Updated last month
- Efficient parser combinators for Haskell☆39Nov 25, 2025Updated 3 months ago
- Omit fields for instance deriving☆37Jun 5, 2020Updated 5 years ago
- Advent of Code 2018 Solutions (Spoilers!)☆83Nov 17, 2024Updated last year
- Working through the Thinking with Types book in Haskell☆34May 1, 2020Updated 5 years ago
- An implementation of @phil_eaton compilers basic notes in Rust☆35Jun 3, 2019Updated 6 years ago
- Markov Text Generation Problem Description The Infinite Monkey Theorem1 (IFT) says that if a monkey hits keys at random on a typewriter i…☆10Sep 11, 2025Updated 5 months ago
- Template to effortlessly build math-rich websites☆40Jan 7, 2022Updated 4 years ago
- Classy error-handling (and dispatching!) in Haskell.☆46Aug 14, 2019Updated 6 years ago