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

• dkormalev / cefal
  (Concepts-enabled) Functional Abstraction Layer for C++
  ☆53Updated 5 years ago
• gergoerdi / metafun
  Compile Haskell-like code into C++ template metaprograms
  ☆59Updated 8 years ago
• ericniebler / fpxx
  sandbox for my c++ functional programming experiments
  ☆33Updated 11 years ago
• jaredhoberock / hindley_milner
  A C++11 implementation of Hindley-Milner type inference.
  ☆79Updated 12 years ago
• jonsterling / Lens.hpp
  Functional Lenses in C++
  ☆21Updated 13 years ago
• graninas / cpp_stm_free
  Composable monadic STM for C++ on Free monads
  ☆76Updated 5 years ago
• evgeny-panasyuk / monad_do
  Emulation of DO syntax sugar for monads in C++
  ☆11Updated 11 years ago
• saarraz / clang-concepts-roadmap
  Roadmap for implementation of Concepts in the Clang compiler.
  ☆16Updated 6 years ago
• haskell / hoopl
  Higher-order optimization library
  ☆74Updated last year
• keean / Parser-Combinators
  C++ parser combinator library
  ☆97Updated 9 years ago
• splinterofchaos / Pure
  An almost-pure C++ library for writing functional code.
  ☆37Updated 10 years ago
• BartoszMilewski / MoreMoney
  Constraing solving using functional methods in C++ and Haskell.
  ☆20Updated 9 years ago
• grievejia / pcomb
  Simple C++ Parser Combinator Library
  ☆15Updated 9 years ago
• IntelLabs / flrc-lib
  Pillar compiler, Pillar runtime, garbage collector.
  ☆23Updated 2 years ago
• toby-allsopp / coroutine_monad
  Using coroutines as sugar for composing monadic operations
  ☆75Updated 6 years ago
• mpark / format
  Compile-time Checked, Type-Safe Formatting in C++14
  ☆36Updated 8 years ago
• geisha-lang / Geisha
  A naive θ..θ programming language
  ☆27Updated 6 years ago
• toby-allsopp / ranges-coroutines
  Utilities to help using Coroutines with Ranges
  ☆23Updated 7 years ago
• coq-ext-lib / coq-compile
  A compiler for Coq
  ☆26Updated 12 years ago
• jarrett / cpphs
  Tutorial on integrating C++ and Haskell
  ☆88Updated 4 years ago
• mutouyun / cpp-pattern-matching
  ML-style pattern matching in C++.
  ☆29Updated 6 years ago
• no-more-secrets / parsco
  C++20 Coroutine-Based Synchronous Parser Combinator Library
  ☆54Updated 3 years ago
• bretthall / Wyatt-STM
  Software transactional memory system developed at Wyatt Technology
  ☆28Updated 5 years ago
• ucsc-proglang / sage
  The dependently & gradually typed Sage programming language
  ☆9Updated 11 years ago
• vittorioromeo / vrm_core
  Lightweight C++14 utility library. (Modernized, stripped and cleaned-up version of SSVUtils.)
  ☆34Updated 4 years ago
• xnning / TypeInfer
  Type inference for 'type level computation one step at a time'
  ☆12Updated 7 years ago
• Naios / swy
  A compiler for my educational research programming language that supports homogeneous metaprogramming
  ☆20Updated 7 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 8 years ago
• plclub / cis670-16fa
  Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016
  ☆42Updated 2 years ago
• sabel83 / mpllibs
  C++ template metaprogramming library collection
  ☆126Updated 8 years ago