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
- Hopefully verifiable code generation in GHC☆93May 10, 2017Updated 8 years ago
- Coq formalizations of functional languages.☆145Jul 2, 2020Updated 5 years ago
- A RWS like monad without the slow writer stuff☆12Jun 17, 2023Updated 2 years ago
- Let GHC prove program equations for you☆146Nov 4, 2018Updated 7 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆68Oct 8, 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
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Jan 3, 2018Updated 8 years ago
- Speculate laws about Haskell functions☆31Jan 30, 2025Updated last year
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 7 years ago
- The compilation target that functional programmers always wanted.☆62Aug 2, 2020Updated 5 years ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- An implementation of the Core language☆30Oct 4, 2015Updated 10 years ago
- ☆11Jul 20, 2016Updated 9 years ago
- A minimal proof language.☆213Jan 26, 2019Updated 7 years ago
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆150Sep 30, 2021Updated 4 years ago
- A prototype successor to Idris☆541Jul 8, 2019Updated 6 years ago
- ALGT 2.0☆30Dec 23, 2019Updated 6 years ago
- Jhc: Haskell Compiler☆39Aug 31, 2015Updated 10 years ago
- Functional programming with fewer indirections☆780Aug 20, 2020Updated 5 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- ☆21May 9, 2017Updated 8 years ago
- Blazing fast signature detection☆11Sep 5, 2022Updated 3 years ago
- A hashing-based graph implementation in Haskell☆33Jul 2, 2018Updated 7 years ago
- A magic typeclass that just does it☆126Aug 1, 2022Updated 3 years ago
- A Super Kawaii Dependently Typed Programming Language☆176Jul 12, 2018Updated 7 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Nov 12, 2018Updated 7 years ago
- Typesafe Off-Heap data structures for GHC Haskell☆14Nov 10, 2017Updated 8 years ago
- The LLVM LHC Haskell Optimization System☆202Apr 30, 2020Updated 5 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101May 9, 2017Updated 8 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Oct 7, 2018Updated 7 years ago
- being a slightly rethought version of the Frank implementation☆23Feb 9, 2016Updated 10 years ago
- GHC plugin that improves Haskell code's numerical stability☆194Oct 6, 2015Updated 10 years ago
- experimenting with STM-backed read-copy-update in Haskell☆18Oct 19, 2025Updated 5 months ago
- Frank compiler☆306Apr 23, 2024Updated last year
- Transactional key-value store written entirely in Haskell☆94Mar 4, 2021Updated 5 years ago
- Efficient Haskell Arrays featuring Parallel computation☆411Jul 8, 2025Updated 8 months ago
- Semantics for Cryptol☆16Apr 9, 2018Updated 7 years ago