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

• gergoerdi / metafun
  Compile Haskell-like code into C++ template metaprograms
  ☆66Updated 9 years ago
• keean / Parser-Combinators
  C++ parser combinator library
  ☆99Updated 10 years ago
• graninas / cpp_stm_free
  Composable monadic STM for C++ on Free monads
  ☆79Updated 6 years ago
• jarrett / cpphs
  Tutorial on integrating C++ and Haskell
  ☆92Updated 5 years ago
• jaredhoberock / hindley_milner
  A C++11 implementation of Hindley-Milner type inference.
  ☆80Updated 13 years ago
• dkormalev / cefal
  (Concepts-enabled) Functional Abstraction Layer for C++
  ☆51Updated 5 years ago
• ericniebler / fpxx
  sandbox for my c++ functional programming experiments
  ☆33Updated 12 years ago
• thejohnfreeman / autocheck
  Header-only C++17 library for property-based testing.
  ☆127Updated last year
• no-more-secrets / parsco
  C++20 Coroutine-Based Synchronous Parser Combinator Library
  ☆61Updated 4 years ago
• BartoszMilewski / MoreMoney
  Constraing solving using functional methods in C++ and Haskell.
  ☆21Updated 10 years ago
• covariant-institute / dragon-vm
  The Dragon Virtual Machine.
  ☆10Updated 7 years ago
• jonsterling / Lens.hpp
  Functional Lenses in C++
  ☆21Updated 14 years ago
• GJDuck / libf
  C++ as a Pure Functional Programming Language
  ☆188Updated 6 years ago
• haskell / hoopl
  Higher-order optimization library
  ☆76Updated 2 years ago
• MarisaKirisame / first_order_logic_prover
  ☆60Updated 7 years ago
• BowenFu / hspp
  hspp: An experimental library to bring Haskell Style Programming to C++.
  ☆170Updated 3 years ago
• coq-ext-lib / coq-compile
  A compiler for Coq
  ☆26Updated 12 years ago
• grogers0 / CppQuickCheck
  QuickCheck-like property based automated testing tool for C++
  ☆111Updated 9 years ago
• MarisaKirisame / algebraic_data_type
  ☆19Updated 10 years ago
• geisha-lang / Geisha
  A naive θ..θ programming language
  ☆27Updated 7 years ago
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆43Updated 4 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆39Updated 10 years ago
• cronburg / antlr-haskell
  A language parsing quasiquoter for Haskell based heavily on ANTLR4.
  ☆52Updated 4 years ago
• Naios / swy
  A compiler for my educational research programming language that supports homogeneous metaprogramming
  ☆20Updated 8 years ago
• GaloisInc / elf-edit
  The elf-edit library provides a datatype suitable for reading and writing Elf files.
  ☆40Updated 5 months ago
• visq / language-c
  Source repository for https://hackage.haskell.org/package/language-c
  ☆95Updated last month
• jotron-as / CPP-Parsing-Combinators
  A header only library that provides parser combinators to C++
  ☆21Updated 3 years ago
• AccelerateHS / accelerate-llvm
  LLVM backend for Accelerate
  ☆167Updated last month
• toby-allsopp / coroutine_monad
  Using coroutines as sugar for composing monadic operations
  ☆78Updated 7 years ago
• maciejpirog / cpp-effects
  Effect handlers in C++
  ☆124Updated 2 years ago