Alternatives and similar repositories for c_lambda_calculus:

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

• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 10 years ago
• kstephens / maru
  Fork of Ian Piumarta's maru self-bootstrapping lisp compiler. Work has moved to http://code.google.com/r/kurts68-maru/
  ☆39Updated 3 years ago
• fare / moll
  My Own Linear Lisp
  ☆38Updated 6 years ago
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆60Updated 15 years ago
• harlanhaskins / hasm
  An Assembly-like programming language and interpreter in Haskell
  ☆16Updated 9 years ago
• rrnewton / Essentials-of-Compilation
  A book about compiling Racket to x86-64 assembly
  ☆20Updated 7 years ago
• granstrom / intuitionistic
  Automatically exported from code.google.com/p/intuitionistic
  ☆31Updated 9 years ago
• Conservatory / s7
  s7 Scheme
  ☆56Updated 5 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 9 years ago
• mrjbq7 / re-factor
  Small utilities and vocabularies implemented in the Factor programming language.
  ☆129Updated 3 weeks ago
• imneme / mini-sk
  A Small Combinator-Reduction System
  ☆14Updated 4 years ago
• barak / scheme2c
  Joel Bartlett's fabled Scheme->C system
  ☆82Updated 4 years ago
• jozefg / hm
  A small implementation of type inference
  ☆78Updated 9 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆48Updated 7 years ago
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆74Updated 14 years ago
• deplinenoise / c-amplify
  S-expression source translation and macro expansion utility
  ☆83Updated 14 years ago
• TikhonJelvis / Simple-Prolog
  A simple Prolog interpreter
  ☆42Updated 3 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆30Updated last year
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆61Updated 5 years ago
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 10 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated 10 months ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆36Updated 9 years ago
• advancingdragon / meta
  Val Schorre's META-II
  ☆59Updated 11 years ago
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆42Updated 5 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• blambov / RealLib
  Library for exact real number computations
  ☆39Updated 9 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆67Updated 7 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆211Updated 4 months ago
• lomereiter / pratt-parser
  Implementation of Pratt parser in C++11
  ☆26Updated 9 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago