BartoszMilewski / MoreMoney
Constraing solving using functional methods in C++ and Haskell.
☆20Updated 9 years ago
Alternatives and similar repositories for MoreMoney:
Users that are interested in MoreMoney are comparing it to the libraries listed below
- Support for Currying and Function Composition in C++☆61Updated 9 years ago
- transducers in C++ 14☆40Updated 10 years ago
- Compile Haskell-like code into C++ template metaprograms☆58Updated 8 years ago
- Header-only C++17 library for property-based testing.☆126Updated 9 months ago
- Functional Utilities for C++☆40Updated 10 years ago
- Emulation of DO syntax sugar for monads in C++☆11Updated 11 years ago
- A sane and minimal C++14 unit test framework☆33Updated 9 years ago
- C++17 immutable compile-time key value map☆50Updated 5 years ago
- Modern C++ benchmarking☆73Updated 4 years ago
- Testing framework for C++ template metaprograms☆11Updated 9 years ago
- Software transactional memory system developed at Wyatt Technology☆28Updated 5 years ago
- QuickCheck-like property based automated testing tool for C++☆112Updated 8 years ago
- Functors, Monads and Free Monads in C++☆18Updated last year
- C++ template metaprogramming library collection☆126Updated 8 years ago
- Making Boost Variants usable☆38Updated 8 years ago
- A C++ metaprogramming library☆26Updated 8 years ago
- Comparison of build program expressive power☆86Updated 5 years ago
- Tool used to format, improve and verify code to BDE guidelines☆43Updated last year
- λ → C++ library for functional programming☆37Updated 8 years ago
- What did you expect?☆111Updated 7 years ago
- Literal, validated XML in C++☆49Updated 9 years ago
- Container data structure for representing sequences by many fixed-capacity heap-allocated buffers (i.e., chunks).☆23Updated 6 years ago
- A C++11 library for Unicode☆80Updated 5 years ago
- A research project aimed at introducing language support for type erasure in C++.☆53Updated 9 years ago
- STM (Software Transactional Memory) implementation in C, based on memory-mapping.☆59Updated 15 years ago
- Design space for LLVM/Clang work☆45Updated 12 years ago
- (Concepts-enabled) Functional Abstraction Layer for C++☆53Updated 4 years ago
- Swang: A clang tool to check C++ swagg factor.☆37Updated 9 years ago
- A header library for calculations with units☆35Updated 5 years ago
- Continuation-ready container algorithms from STL algorithms☆60Updated 7 years ago