Alternatives and similar repositories for lambdacalc:

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

• mraleph / mraleph.github.com
  ☆15Updated 2 weeks ago
• bostko / doc2text
  Convert odt document files to markdown format
  ☆9Updated this week
• mousepawmedia / pawlib
  Performance meets elegance.
  ☆18Updated 3 years ago
• dbp / howtoprovefullabstraction
  Writeup that goes along with this:
  ☆15Updated 6 years ago
• AayushNagpal / Visual-novel-Engine
  Game engine developed in android to facilitate creation of visual novels
  ☆9Updated 7 years ago
• zaach / zii-jsconf2010-talk
  Slides and code from my track B talk "Build Your Own Programming Language with JavaScript"
  ☆26Updated 14 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• munificent / lark
  The Lark programming language.
  ☆58Updated 14 years ago
• WebAssembly / waterfall
  Build and test bots
  ☆45Updated 2 years ago
• marbelous-lang / marbelous.py
  Python interpreter for Marbelous
  ☆22Updated 9 years ago
• chklauser / rust-nvm
  A toy byte-code virtual machine written in Rust
  ☆15Updated 8 years ago
• brenns10 / funlisp
  Simple, embeddable lisp interpreter
  ☆12Updated 3 years ago
• mangolang / compiler
  A multi-platform programming language focused on maintainability and bug prevention
  ☆12Updated 3 years ago
• OnePlusOSS / android_external_skia
  ☆4Updated 6 years ago
• Tatskaari / GustoLang
  A toy language written in kotlin
  ☆16Updated 5 years ago
• mozilla / fix-stacks
  This program post-processes the stack frames produced by `MozFormatCodeAddress()`.
  ☆21Updated last year
• JohnEarnest / Four.Ps
  A minimal Forth VM and Compiler implemented in PostScript
  ☆27Updated 13 years ago
• dbp / sublime-rust
  DEPRECATED: see rust-lang/rust-enhanced (new maintainer)
  ☆42Updated 11 years ago
• GeorgeKT / menhir-lang
  Experiments with llvm to create a toy programming language
  ☆25Updated 3 months ago
• slash-lang / slash
  A new language for the web
  ☆383Updated 7 months ago
• chaosim / daonode
  functional logic solver and compiler
  ☆26Updated 9 years ago
• danilolekovic / iode-d
  a programming language
  ☆11Updated 4 years ago
• themasch / rust-git
  a git implementation in rust. yeah, I know..
  ☆12Updated 8 years ago
• dcuddeback / libudev-sys
  FFI bindings to libudev
  ☆8Updated last year
• SriRangaTarun / Jigsaw-Bias-In-Toxicity-Classification
  My work on the Jigsaw Unintended Bias in Toxicity Classification Competition on Kaggle
  ☆4Updated 4 years ago
• pipcet / asmjs
  GCC asm.js backend, support files that can't go in the program repositories
  ☆47Updated 4 years ago
• boomshroom / NovaLang
  A Haskell derived programming language for systems development.
  ☆14Updated 6 years ago
• RustFestEU / blog.rustfest.eu
  The blog for RustFest!
  ☆9Updated last week
• bonobo-lang / bonobo
  Strongly-typed, safe, opinionated systems language that compiles to C.
  ☆14Updated 5 years ago
• LegNeato / cups-sys
  Low-level Rust interface to the CUPS printing library.
  ☆12Updated 2 years ago