BartoszMilewski / MoreMoney
Constraing solving using functional methods in C++ and Haskell.
☆20Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for MoreMoney
- Functors, Monads and Free Monads in C++☆18Updated last year
- Compile Haskell-like code into C++ template metaprograms☆58Updated 8 years ago
- Emulation of DO syntax sugar for monads in C++☆11Updated 10 years ago
- transducers in C++ 14☆40Updated 10 years ago
- Support for Currying and Function Composition in C++☆60Updated 9 years ago
- Implementation of the C++ Standard Library Concepts☆13Updated 7 years ago
- (Concepts-enabled) Functional Abstraction Layer for C++☆53Updated 4 years ago
- A C++ metaprogramming library☆26Updated 8 years ago
- Comparison of build program expressive power☆87Updated 5 years ago
- A book about compiling Racket to x86-64 assembly☆21Updated 6 years ago
- QuickCheck-like property based automated testing tool for C++☆111Updated 7 years ago
- Tagged types C++ library☆11Updated 6 years ago
- Functional Lenses in C++☆21Updated 13 years ago
- sandbox for my c++ functional programming experiments☆34Updated 11 years ago
- Testing framework for C++ template metaprograms☆11Updated 9 years ago
- C++ template metaprogramming library collection☆126Updated 8 years ago
- Functional Utilities for C++☆40Updated 9 years ago
- C++ parser combinator library☆97Updated 9 years ago
- A sane and minimal C++14 unit test framework☆33Updated 9 years ago
- Software transactional memory system developed at Wyatt Technology☆28Updated 5 years ago
- Lightweight C++14 utility library. (Modernized, stripped and cleaned-up version of SSVUtils.)☆34Updated 3 years ago
- Header-only C++17 library for property-based testing.☆124Updated 4 months ago
- Container data structure for representing sequences by many fixed-capacity heap-allocated buffers (i.e., chunks).☆23Updated 6 years ago
- A compiler for my educational research programming language that supports homogeneous metaprogramming☆20Updated 7 years ago
- Buildsome: The awesome build system☆53Updated 2 years ago
- Tool used to format, improve and verify code to BDE guidelines☆42Updated last year
- Modern C++ benchmarking☆73Updated 4 years ago
- Not Another Range Library☆39Updated 10 years ago
- An almost-pure C++ library for writing functional code.☆37Updated 10 years ago
- Making Boost Variants usable☆39Updated 8 years ago