toby-allsopp / free-monads-in-cpp
Functors, Monads and Free Monads in C++
☆18Updated last year
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
- (Concepts-enabled) Functional Abstraction Layer for C++☆53Updated 4 years ago
- Compile Haskell-like code into C++ template metaprograms☆58Updated 8 years ago
- sandbox for my c++ functional programming experiments☆33Updated 11 years ago
- Composable monadic STM for C++ on Free monads☆72Updated 5 years ago
- Constraing solving using functional methods in C++ and Haskell.☆20Updated 9 years ago
- A C++11 implementation of Hindley-Milner type inference.☆79Updated 12 years ago
- Lightweight C++14 utility library. (Modernized, stripped and cleaned-up version of SSVUtils.)☆34Updated 3 years ago
- Higher-order optimization library☆73Updated last year
- functional programming in cpp.☆42Updated 11 years ago
- C++ parser combinator library☆97Updated 9 years ago
- Using coroutines as sugar for composing monadic operations☆74Updated 6 years ago
- A compiler for my educational research programming language that supports homogeneous metaprogramming☆20Updated 7 years ago
- Functional Lenses in C++☆21Updated 13 years ago
- Roadmap for implementation of Concepts in the Clang compiler.☆16Updated 6 years ago
- Compile-time Checked, Type-Safe Formatting in C++14☆36Updated 7 years ago
- Tutorial on integrating C++ and Haskell☆87Updated 4 years ago
- Header-only C++17 library for property-based testing.☆126Updated 7 months ago
- An almost-pure C++ library for writing functional code.☆37Updated 10 years ago
- C++20 Coroutine-Based Synchronous Parser Combinator Library☆53Updated 3 years ago
- Emulation of DO syntax sugar for monads in C++☆11Updated 11 years ago
- A high level LLVM IR AST provider for GraphEngine JIT.☆22Updated 6 years ago
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated 2 years ago
- A naive θ..θ programming language☆27Updated 6 years ago
- A Brainfuck Interpreter, which is completely implemented from scratch as a C++ Template Meta Program☆24Updated 2 years ago
- Jhc: Haskell Compiler☆36Updated 9 years ago
- Utilities to help using Coroutines with Ranges☆23Updated 7 years ago
- Papers for the C++ Standards Committee, WG21☆55Updated 2 weeks ago
- The Dragon Virtual Machine.☆10Updated 7 years ago
- C++ compile-time Prolog interpreter☆66Updated 10 years ago
- Tagged types C++ library☆11Updated 6 years ago