gergoerdi / metafunLinks
Compile Haskell-like code into C++ template metaprograms
☆59Updated 9 years ago
Alternatives and similar repositories for metafun
Users that are interested in metafun are comparing it to the libraries listed below
Sorting:
- Comparison of build program expressive power☆88Updated 5 years ago
- A C++11 implementation of Hindley-Milner type inference.☆79Updated 12 years ago
- C++ parser combinator library☆97Updated 10 years ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- Higher-order optimization library☆76Updated 2 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 7 years ago
- Tutorial on integrating C++ and Haskell☆89Updated 5 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆30Updated 2 weeks ago
- Functional Lenses in C++☆21Updated 14 years ago
- Functors, Monads and Free Monads in C++☆18Updated 2 years ago
- A book about compiling Racket to x86-64 assembly☆21Updated 7 years ago
- Source repository for https://hackage.haskell.org/package/language-c☆90Updated 5 months ago
- A compiler from ML to C++ template language☆158Updated 9 years ago
- The LVish Haskell library☆80Updated 2 years ago
- Jhc: Haskell Compiler☆38Updated 9 years ago
- ☆41Updated 8 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- Easy C++ code analysis with pure Haskell☆35Updated 10 months ago
- Applied operating system - an operating system kernel written in the ATS programming language.☆44Updated 13 years ago
- Simple C++ Parser Combinator Library☆15Updated 9 years ago
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated 2 years ago
- The elf-edit library provides a datatype suitable for reading and writing Elf files.☆39Updated 2 weeks ago
- ☆21Updated 10 years ago
- A simple library for Haskell that allows relational programming.☆46Updated 12 years ago
- Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)☆133Updated 8 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- A compiler for Coq☆26Updated 12 years ago
- Epic - a Supercombinator Compiler☆65Updated 10 years ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- From Haskell to Hardware via CCCs☆58Updated 9 years ago