grievejia / pcomb

Related projects: ⓘ

• gergoerdi / metafun
  Compile Haskell-like code into C++ template metaprograms
  ☆57Updated 8 years ago
• toby-allsopp / free-monads-in-cpp
  Functors, Monads and Free Monads in C++
  ☆18Updated last year
• jaredhoberock / hindley_milner
  A C++11 implementation of Hindley-Milner type inference.
  ☆75Updated 11 years ago
• splinterofchaos / Pure
  An almost-pure C++ library for writing functional code.
  ☆37Updated 9 years ago
• ucsc-proglang / sage
  The dependently & gradually typed Sage programming language
  ☆9Updated 10 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 8 years ago
• ericniebler / fpxx
  sandbox for my c++ functional programming experiments
  ☆34Updated 11 years ago
• davidklaftenegger / qd_library
  C++ QD locking library
  ☆10Updated last year
• bretthall / Wyatt-STM
  Software transactional memory system developed at Wyatt Technology
  ☆28Updated 4 years ago
• bruceiv / egg
  C++11 Parsing Expression Grammar Generator
  ☆23Updated 4 years ago
• lomereiter / pratt-parser
  Implementation of Pratt parser in C++11
  ☆27Updated 9 years ago
• kirkshoop / transducer
  transducers in C++ 14
  ☆40Updated 9 years ago
• arrow-lang / arrow
  Arrow is a fast (as or faster than C) general-purpose programming language. It does not employ a garbage collector and has minimal runtim…
  ☆34Updated 7 years ago
• mpark / format
  Compile-time Checked, Type-Safe Formatting in C++14
  ☆36Updated 7 years ago
• pyrtsa / poly
  Solving the Expression Problem in C++11
  ☆45Updated 11 years ago
• daltonwoodard / algebraic
  ☆10Updated this week
• jonsterling / Lens.hpp
  Functional Lenses in C++
  ☆21Updated 13 years ago
• sabel83 / mpllibs
  C++ template metaprogramming library collection
  ☆126Updated 8 years ago
• scientific-coder / Computer-Languages
  Compilers, Interpreters, with Spirit parser and LLVM code generator, for educational purposes
  ☆26Updated 13 years ago
• keean / Parser-Combinators
  C++ parser combinator library
  ☆97Updated 9 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆27Updated 5 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆81Updated last year
• thejohnfreeman / autocheck
  Header-only C++17 library for property-based testing.
  ☆124Updated 3 months ago
• burz / cfl
  a Compileable statically typed Functional programming Language
  ☆10Updated 9 years ago
• BartoszMilewski / Concurrency
  ☆49Updated 4 years ago
• MarisaKirisame / algebraic_data_type
  ☆19Updated 8 years ago
• tiancaiamao / yasfs
  some old code about scheme compiler I've ever wrote
  ☆14Updated last year
• jeaye / jest
  A sane and minimal C++14 unit test framework
  ☆33Updated 9 years ago
• avsm / EpiVM
  Epic - a Supercombinator Compiler
  ☆11Updated 14 years ago
• yallop / popl2015-papers
  Accepted papers for POPL 2015
  ☆67Updated 8 years ago