gergoerdi / metafunLinks
Compile Haskell-like code into C++ template metaprograms
☆66Updated 9 years ago
Alternatives and similar repositories for metafun
Users that are interested in metafun are comparing it to the libraries listed below
Sorting:
- C++ parser combinator library☆97Updated 10 years ago
- Tutorial on integrating C++ and Haskell☆92Updated 5 years ago
- Comparison of build program expressive power☆87Updated 6 years ago
- A C++11 implementation of Hindley-Milner type inference.☆79Updated 13 years ago
- Functors, Monads and Free Monads in C++☆19Updated 2 years ago
- The elf-edit library provides a datatype suitable for reading and writing Elf files.☆40Updated 4 months ago
- An llvm pretty printer inspired by the haskell llvm binding☆30Updated last week
- Source repository for https://hackage.haskell.org/package/language-c☆95Updated 3 weeks ago
- Strict Haskell-like programming language that compiles to LLVM☆71Updated 6 years ago
- Jhc: Haskell Compiler☆39Updated 10 years ago
- Header-only C++17 library for property-based testing.☆127Updated last year
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- Higher-order optimization library☆76Updated 2 years ago
- Functional Lenses in C++☆21Updated 14 years ago
- Easy C++ code analysis with pure Haskell☆35Updated last year
- Obsidian Language Repository☆41Updated 7 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆32Updated 3 years ago
- A simple library for Haskell that allows relational programming.☆46Updated 13 years ago
- An imperative and functional programming language☆161Updated 7 months ago
- Runtime code generation for x86 machine code☆26Updated 2 years ago
- The LVish Haskell library☆80Updated 3 years ago
- Constraing solving using functional methods in C++ and Haskell.☆21Updated 10 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 15 years ago
- Formal semantics of LLVM IR in K☆45Updated 7 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 9 years ago
- ☆41Updated 8 years ago
- A book about compiling Racket to x86-64 assembly☆21Updated 8 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)☆132Updated 8 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago