Alternatives and similar repositories for c_lambda_calculus

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

• blambov / RealLib
  Library for exact real number computations
  ☆40Updated 10 years ago
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆62Updated 16 years ago
• Conservatory / s7
  s7 Scheme
  ☆58Updated 6 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆39Updated 10 years ago
• fare / moll
  My Own Linear Lisp
  ☆42Updated 7 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 7 months ago
• barak / scheme2c
  Joel Bartlett's fabled Scheme->C system
  ☆83Updated 5 years ago
• TieDyedDevil / XS
  [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.
  ☆51Updated 4 years ago
• melvinzhang / maru
  A compiler to IA32 and REPL for maru in maru under 7k s-expressions
  ☆18Updated 5 years ago
• chkoreff / Fexl
  Function EXpression Language (interpreter for functional programs)
  ☆84Updated 3 months ago
• twhitehead / c99-meta
  Abusing the C99 preprocessor for meta-programming
  ☆20Updated 8 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆46Updated 6 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 10 years ago
• imneme / mini-sk
  A Small Combinator-Reduction System
  ☆19Updated 5 years ago
• vendethiel / trying.apl
  APL is the greatest language ever
  ☆68Updated last year
• mlochbaum / ILanguage
  An interpreter for a J-inspired language
  ☆92Updated 2 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆195Updated 3 weeks ago
• tathougies / hos
  The functional Haskell kernel
  ☆141Updated 9 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated last week
• udem-dlteam / mimosa
  Minimal operating system for x86 intended as a basis for benchmarking and running Gambit
  ☆95Updated 5 years ago
• ngzhian / ski
  SKI combinators
  ☆56Updated 8 years ago
• rrnewton / Essentials-of-Compilation
  A book about compiling Racket to x86-64 assembly
  ☆21Updated 8 years ago
• vmchale / apple
  Apple array system
  ☆68Updated 2 weeks ago
• hellerve-pl-experiments / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆39Updated 5 years ago
• rain-1 / continuations-study-group
  ☆78Updated 6 years ago
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆55Updated 5 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 3 years ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆237Updated 2 months ago