gergoerdi / metafunLinks
Compile Haskell-like code into C++ template metaprograms
☆59Updated 8 years ago
Alternatives and similar repositories for metafun
Users that are interested in metafun are comparing it to the libraries listed below
Sorting:
- Functors, Monads and Free Monads in C++☆18Updated last year
- A C++11 implementation of Hindley-Milner type inference.☆79Updated 12 years ago
- Comparison of build program expressive power☆88Updated 5 years ago
- Applied operating system - an operating system kernel written in the ATS programming language.☆44Updated 13 years ago
- Arrow is a fast (as or faster than C) general-purpose programming language. It does not employ a garbage collector and has minimal runtim…☆34Updated 8 years ago
- Tutorial on integrating C++ and Haskell☆89Updated 5 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- An almost-pure C++ library for writing functional code.☆37Updated 10 years ago
- C++ parser combinator library☆97Updated 9 years ago
- Jhc: Haskell Compiler☆38Updated 9 years ago
- The LVish Haskell library☆80Updated 2 years ago
- Generate formatted C++ from Racket S-expressions☆36Updated 9 years ago
- Source repository for https://hackage.haskell.org/package/language-c☆87Updated 3 months ago
- Abusing the C99 preprocessor for meta-programming☆20Updated 7 years ago
- Constraing solving using functional methods in C++ and Haskell.☆21Updated 10 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 7 years ago
- Easy C++ code analysis with pure Haskell☆35Updated 8 months ago
- optimising compiler for Haskell's intermediate representation (STG) to LLVM IR☆32Updated 6 years ago
- Composable monadic STM for C++ on Free monads☆77Updated 5 years ago
- Higher-order optimization library☆74Updated last year
- An llvm pretty printer inspired by the haskell llvm binding☆29Updated 2 months ago
- Embedded C code generation DSL for Haskell.☆28Updated 6 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- Map lazy functional language constructs to LLVM IR☆50Updated 6 years ago
- Simple C++ Parser Combinator Library☆15Updated 9 years ago
- A compiler for Coq☆26Updated 12 years ago
- A simple library for Haskell that allows relational programming.☆46Updated 12 years ago
- Implementation of Pratt parser in C++11☆26Updated 10 years ago