Alternatives and similar repositories for c_lambda_calculus

Users that are interested in c_lambda_calculus are comparing it to the libraries listed below

• fare / moll
  My Own Linear Lisp
  ☆42Updated 7 years ago
• blambov / RealLib
  Library for exact real number computations
  ☆40Updated 10 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 5 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• ngzhian / ski
  SKI combinators
  ☆56Updated 8 years ago
• barak / scheme2c
  Joel Bartlett's fabled Scheme->C system
  ☆83Updated 5 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 10 years ago
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆62Updated 16 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆217Updated last year
• TieDyedDevil / XS
  [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.
  ☆51Updated 4 years ago
• tekknolagi / ghuloum
  Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
  ☆70Updated 2 months ago
• codr4life / snabl
  a Lispy Forth in C++
  ☆26Updated 7 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆80Updated 8 years ago
• chkoreff / Fexl
  Function EXpression Language (interpreter for functional programs)
  ☆84Updated 4 months ago
• kstephens / maru
  Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/
  ☆41Updated 4 years ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆65Updated 8 months ago
• dchapiesky / MetaIIVMInC
  the Meta-II VM in C
  ☆21Updated 10 years ago
• mflatt / gc-demo
  ☆87Updated 5 years ago
• imneme / mini-sk
  A Small Combinator-Reduction System
  ☆19Updated 5 years ago
• jozefg / hm
  A small implementation of type inference
  ☆80Updated 10 years ago
• sam46 / Paskell
  A Pascal to LLVM compiler in Haskell
  ☆124Updated 6 years ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆126Updated 12 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆57Updated 9 years ago
• Conservatory / s7
  s7 Scheme
  ☆58Updated 6 years ago
• Wodan58 / joy0
  Original Joy
  ☆10Updated last year
• kwantam / lviv
  stack-based RPN functional programming language
  ☆55Updated 8 years ago
• kevina / zl
  A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…
  ☆30Updated 4 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆39Updated 10 years ago
• Wodan58 / Moy
  Stackless Joy
  ☆23Updated 9 months ago