BartoszMilewski / MoreMoneyLinks
Constraing solving using functional methods in C++ and Haskell.
☆21Updated 10 years ago
Alternatives and similar repositories for MoreMoney
Users that are interested in MoreMoney are comparing it to the libraries listed below
Sorting:
- Header-only C++17 library for property-based testing.☆127Updated last year
- Compile Haskell-like code into C++ template metaprograms☆59Updated 9 years ago
- QuickCheck-like property based automated testing tool for C++☆111Updated 8 years ago
- C++ parser combinator library☆97Updated 10 years ago
- Comparison of build program expressive power☆88Updated 5 years ago
- Tutorial on integrating C++ and Haskell☆89Updated 5 years ago
- Support for Currying and Function Composition in C++☆61Updated 10 years ago
- A C++11 implementation of Hindley-Milner type inference.☆79Updated 12 years ago
- Sodium - Functional Reactive Programming (FRP) Library for C++☆53Updated last year
- ☆49Updated 5 years ago
- C++ template metaprogramming library collection☆128Updated 9 years ago
- transducers in C++ 14☆40Updated 10 years ago
- Functors, Monads and Free Monads in C++☆18Updated 2 years ago
- C++20 functional library☆297Updated 2 years ago
- Making Boost Variants usable☆38Updated 8 years ago
- Functional Lenses in C++☆21Updated 14 years ago
- Peer-to-peer version control system☆95Updated last year
- Buildsome: The awesome build system☆54Updated 2 years ago
- Modern C++ benchmarking☆73Updated 5 years ago
- Composable monadic STM for C++ on Free monads☆78Updated 5 years ago
- A book about compiling Racket to x86-64 assembly☆21Updated 7 years ago
- Software transactional memory system developed at Wyatt Technology☆29Updated 5 years ago
- (Concepts-enabled) Functional Abstraction Layer for C++☆52Updated 5 years ago
- C++ as a Pure Functional Programming Language☆189Updated 6 years ago
- playground for working with succinct data structures☆97Updated 9 years ago
- BSD Licensed Bignum Library☆232Updated last year
- GHC plugin that improves Haskell code's numerical stability☆194Updated 9 years ago
- Demonstration of LLVM's opt-viewer tool☆71Updated 8 years ago
- Functional Utilities for C++☆40Updated 10 years ago
- Testing framework for C++ template metaprograms☆11Updated 10 years ago