grievejia / pcomb

Related projects ⓘ

Alternatives and complementary repositories for pcomb

• gergoerdi / metafun
  Compile Haskell-like code into C++ template metaprograms
  ☆58Updated 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.
  ☆78Updated 11 years ago
• splinterofchaos / Pure
  An almost-pure C++ library for writing functional code.
  ☆37Updated 10 years ago
• bruceiv / egg
  C++11 Parsing Expression Grammar Generator
  ☆23Updated 4 years ago
• jonsterling / Lens.hpp
  Functional Lenses in C++
  ☆21Updated 13 years ago
• lomereiter / pratt-parser
  Implementation of Pratt parser in C++11
  ☆27Updated 9 years ago
• ucsc-proglang / sage
  The dependently & gradually typed Sage programming language
  ☆9Updated 10 years ago
• keean / Parser-Combinators
  C++ parser combinator library
  ☆97Updated 9 years ago
• scientific-coder / Computer-Languages
  Compilers, Interpreters, with Spirit parser and LLVM code generator, for educational purposes
  ☆26Updated 13 years ago
• nojb / llvm-tiger
  A compiler for the Tiger programming language targeting LLVM
  ☆13Updated 7 years ago
• nojb / mlpolyr
  MLpolyR
  ☆7Updated 8 years ago
• davidklaftenegger / qd_library
  C++ QD locking library
  ☆11Updated last year
• rrnewton / Essentials-of-Compilation
  A book about compiling Racket to x86-64 assembly
  ☆21Updated 7 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• overminder / sanya-jit
  Let's (possibly) build a JIT!
  ☆29Updated 11 months ago
• MarisaKirisame / algebraic_data_type
  ☆19Updated 9 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆81Updated 2 years ago
• ericniebler / fpxx
  sandbox for my c++ functional programming experiments
  ☆34Updated 11 years ago
• LouisJenkinsCS / LLVM-JVM
  [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell
  ☆22Updated 3 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 9 years ago
• coq-ext-lib / coq-compile
  A compiler for Coq
  ☆26Updated 11 years ago
• SodiumFRP / sodium-cxx
  Sodium - Functional Reactive Programming (FRP) Library for C++
  ☆51Updated 8 months ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 8 years ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆33Updated 10 years ago
• avsm / EpiVM
  Epic - a Supercombinator Compiler
  ☆11Updated 14 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
• burz / cfl
  a Compileable statically typed Functional programming Language
  ☆11Updated 9 years ago
• pyrtsa / poly
  Solving the Expression Problem in C++11
  ☆45Updated 12 years ago