ollef / Generate-C
Embedded C code generation DSL for Haskell.
☆28Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for Generate-C
- ☆28Updated 6 years ago
- ☆39Updated 3 months ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 4 years ago
- Obsidian Language Repository☆40Updated 6 years ago
- Jhc: Haskell Compiler☆35Updated 9 years ago
- being the materials for Summer 2013's course☆110Updated last year
- Compositional type checking for Haskell☆36Updated 13 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- Automatically exported from code.google.com/p/trellys☆46Updated 5 years ago
- Generic functions for single-sorted first-order structural unification☆41Updated last week
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Interpreter for functional pure type systems.☆21Updated 7 years ago
- Hopefully verifiable code generation in GHC☆95Updated 7 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆78Updated 8 years ago
- The Prettiest Printer☆35Updated 8 months ago
- Tiny type-checker with dependent types☆76Updated 10 years ago
- Toy typechecker for Insanely Dependent Types☆79Updated 11 years ago
- Constraint Handling Rules☆15Updated last month
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆122Updated 3 months ago
- A library for doing generic programming in Agda☆28Updated 3 years ago
- ☆82Updated 7 years ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆34Updated last year
- Agda-style equational reasoning in Haskell☆51Updated 5 months ago
- ICFP tutorial☆40Updated 3 years ago
- Invertible parsing for S-expressions☆33Updated last month
- ET (IPL) language interpreters and literature☆26Updated 5 years ago
- A general purpose programming language with linear types☆44Updated 7 years ago
- ☆25Updated 7 years ago
- A copy of Daan Leijen's reference implementation of HMF (type inference)☆16Updated 8 years ago