The Disco Discus Compiler
☆176Feb 6, 2019Updated 7 years ago
Alternatives and similar repositories for ddc
Users that are interested in ddc are comparing it to the libraries listed below
Sorting:
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Jun 8, 2018Updated 7 years ago
- A RWS like monad without the slow writer stuff☆12Jun 17, 2023Updated 2 years ago
- Hopefully verifiable code generation in GHC☆94May 10, 2017Updated 8 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Feb 6, 2018Updated 8 years ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Aug 11, 2017Updated 8 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆68Oct 8, 2017Updated 8 years ago
- Speculate laws about Haskell functions☆30Jan 30, 2025Updated last year
- The compilation target that functional programmers always wanted.☆62Aug 2, 2020Updated 5 years ago
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆150Sep 30, 2021Updated 4 years ago
- Coq formalizations of functional languages.☆145Jul 2, 2020Updated 5 years ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Jan 3, 2018Updated 8 years ago
- Let GHC prove program equations for you☆146Nov 4, 2018Updated 7 years ago
- ALGT 2.0☆30Dec 23, 2019Updated 6 years ago
- experimenting with STM-backed read-copy-update in Haskell☆18Oct 19, 2025Updated 4 months ago
- A hashing-based graph implementation in Haskell☆33Jul 2, 2018Updated 7 years ago
- A prototype successor to Idris☆541Jul 8, 2019Updated 6 years ago
- Blazing fast signature detection☆11Sep 5, 2022Updated 3 years ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 7 years ago
- ☆11Jul 20, 2016Updated 9 years ago
- An implementation of the Core language☆30Oct 4, 2015Updated 10 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Nov 12, 2018Updated 7 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- Environmentally friendly environment variables☆154Jan 11, 2026Updated last month
- Search Haskell source code from the command line☆75Aug 20, 2020Updated 5 years ago
- Efficient Haskell Arrays featuring Parallel computation☆409Jul 8, 2025Updated 7 months ago
- The Prettiest Printer☆35Feb 14, 2024Updated 2 years ago
- A magic typeclass that just does it☆126Aug 1, 2022Updated 3 years ago
- TOML file format parser in Haskell☆39Jan 27, 2022Updated 4 years ago
- A minimal proof language.☆212Jan 26, 2019Updated 7 years ago
- Functional programming with fewer indirections☆780Aug 20, 2020Updated 5 years ago
- A hip inductive theorem prover!☆90Nov 19, 2021Updated 4 years ago
- Haskell tool to generate expressions from types☆101Aug 1, 2017Updated 8 years ago
- GHC version of haskell-src-exts exactPrint☆72Oct 14, 2025Updated 4 months ago
- Jhc: Haskell Compiler☆39Aug 31, 2015Updated 10 years ago
- Transactional key-value store written entirely in Haskell☆94Mar 4, 2021Updated 4 years ago
- IO operations from the base library lifted to any instance of MonadBase or MonadBaseControl☆19Mar 16, 2023Updated 2 years ago
- Typesafe Off-Heap data structures for GHC Haskell☆14Nov 10, 2017Updated 8 years ago
- Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…☆155Sep 8, 2024Updated last year