toby-allsopp / free-monads-in-cppLinks
Functors, Monads and Free Monads in C++
☆18Updated 2 years ago
Alternatives and similar repositories for free-monads-in-cpp
Users that are interested in free-monads-in-cpp are comparing it to the libraries listed below
Sorting:
- Tutorial on integrating C++ and Haskell☆89Updated 5 years ago
- Compile Haskell-like code into C++ template metaprograms☆59Updated 9 years ago
- C++ parser combinator library☆97Updated 10 years ago
- Composable monadic STM for C++ on Free monads☆78Updated 5 years ago
- A naive θ..θ programming language☆27Updated 6 years ago
- Higher-order optimization library☆76Updated 2 years ago
- The Dragon Virtual Machine.☆10Updated 7 years ago
- (Concepts-enabled) Functional Abstraction Layer for C++☆52Updated 5 years ago
- sandbox for my c++ functional programming experiments☆33Updated 12 years ago
- Complete raw OpenGL bindings for Haskell☆94Updated 5 months ago
- A C++11 implementation of Hindley-Milner type inference.☆79Updated 12 years ago
- ☆19Updated 9 years ago
- Header-only C++17 library for property-based testing.☆127Updated last year
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated 2 years ago
- A compiler for Coq☆26Updated 12 years ago
- C++ as a Pure Functional Programming Language☆189Updated 6 years ago
- Ask for solutions.☆19Updated 6 years ago
- A high level LLVM IR AST provider for GraphEngine JIT.☆22Updated 6 years ago
- hspp: An experimental library to bring Haskell Style Programming to C++.☆166Updated 2 years ago
- ☆59Updated 7 years ago
- Pretty printer for LLVM AST to Textual IR☆69Updated 2 months ago
- LLVM backend for Accelerate☆166Updated 3 months ago
- The elf-edit library provides a datatype suitable for reading and writing Elf files.☆39Updated 2 weeks ago
- Constraing solving using functional methods in C++ and Haskell.☆21Updated 10 years ago
- Source repository for https://hackage.haskell.org/package/language-c☆90Updated 5 months ago
- Functional Lenses in C++☆21Updated 14 years ago
- Jhc: Haskell Compiler☆38Updated 9 years ago
- Named parameters (keyword arguments) for Haskell☆96Updated 5 months ago
- Haskell-C++ Foreign Function Interface Generator☆143Updated last year
- C++20 Coroutine-Based Synchronous Parser Combinator Library☆56Updated 3 years ago