BartoszMilewski / OkasakiView external linksLinks
Functional data structures in C++
☆565Jan 3, 2020Updated 6 years ago
Alternatives and similar repositories for Okasaki
Users that are interested in Okasaki are comparing it to the libraries listed below
Sorting:
- C++20 functional library☆299Mar 31, 2023Updated 2 years ago
- ☆50Mar 11, 2020Updated 5 years ago
- C++ template library for fans of functional programming☆992Jan 7, 2019Updated 7 years ago
- Postmodern immutable and persistent data structures for C++ — value semantics at scale☆2,803Jan 29, 2026Updated 2 weeks ago
- functional programming in cpp.☆42Oct 22, 2013Updated 12 years ago
- Persistent immutable data structures for C++☆283Jul 23, 2016Updated 9 years ago
- Ring solver for Idris☆20Nov 12, 2018Updated 7 years ago
- Functional programming style pattern-matching library for C++☆1,309Oct 22, 2021Updated 4 years ago
- Constraing solving using functional methods in C++ and Haskell.☆21Jun 21, 2015Updated 10 years ago
- ☆29Nov 23, 2019Updated 6 years ago
- Your standard library for metaprogramming☆1,833Dec 10, 2025Updated 2 months ago
- C++ as a Pure Functional Programming Language☆188Jan 17, 2019Updated 7 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- Functional Programming Library for C++. Write concise and readable C++ code.☆2,273Jan 18, 2026Updated 3 weeks ago
- Higher-order functions for c++☆513Dec 10, 2025Updated 2 months ago
- Instant compile time C++ 11 metaprogramming library☆573Sep 7, 2022Updated 3 years ago
- Range library for C++14/17/20, basis for C++20's std::ranges☆4,353Mar 23, 2025Updated 10 months ago
- Functional Utilities for C++☆41Mar 16, 2015Updated 10 years ago
- A toolkit for modern C++ development☆435May 13, 2019Updated 6 years ago
- Simple header only pattern matching for c++14☆236Jun 15, 2021Updated 4 years ago
- A research project aimed at introducing language support for type erasure in C++.☆54Mar 19, 2016Updated 9 years ago
- A tiny metaprogramming library☆312Jun 23, 2023Updated 2 years ago
- A no-dependencies C++ extensible type erasure library☆45Jul 21, 2020Updated 5 years ago
- Sodium - Functional Reactive Programming (FRP) Library for C++☆54Mar 3, 2024Updated last year
- Utilities to help using Coroutines with Ranges☆23Jul 17, 2017Updated 8 years ago
- ☆23Sep 30, 2016Updated 9 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Dec 24, 2018Updated 7 years ago
- Reference counted synchronized pointer.☆14Aug 9, 2017Updated 8 years ago
- ☆20Oct 26, 2015Updated 10 years ago
- Runtime polymorphism done right☆1,031May 27, 2021Updated 4 years ago
- Various synchronization primitives for multithreaded applications in C++11.☆534Jul 10, 2017Updated 8 years ago
- Lazy evaluation in C++ - http://jscheiny.github.io/Streams/☆687Jul 12, 2021Updated 4 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Safe, programmable, speculative evaluation for Haskell☆29Oct 22, 2018Updated 7 years ago
- playground for working with succinct data structures☆97Oct 24, 2015Updated 10 years ago
- Intel(R) Concurrent Collections for C++☆115Jan 25, 2023Updated 3 years ago
- Project moved to: https://github.com/llvm/llvm-project☆720Jan 24, 2020Updated 6 years ago
- Love template metaprogramming☆330Apr 10, 2022Updated 3 years ago
- A talk on using recursion schemes in FP.☆219Apr 1, 2024Updated last year