Alternatives and similar repositories for lambdacalc:

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

• dbp / howtoprovefullabstraction
  Writeup that goes along with this:
  ☆15Updated 6 years ago
• mraleph / mraleph.github.com
  ☆16Updated last month
• jsiwek / WhitesmithsIndentStyle
  Whitesmiths indentation style plugin for Sublime Text.
  ☆6Updated 9 years ago
• mousepawmedia / pawlib
  Performance meets elegance.
  ☆18Updated 3 years ago
• taijiweb / taijilang
  a customizable and extensible language with dynamic parser and meta compilation.
  ☆65Updated 9 years ago
• GeorgeKT / menhir-lang
  Experiments with llvm to create a toy programming language
  ☆25Updated 4 months ago
• RodrigoSoutilha / Genetic-Changes-Simulator-CONSOLE-
  A program to cross a set of genes using Mendel's law and display the change in phenotypic traits throughout the generations.
  ☆3Updated 5 years ago
• PatrickRoderman / NaiveBayesClassifier
  Generalized Naive Bayes Text Classifier written in Java.
  ☆7Updated 8 years ago
• Richyeohx / Assembly
  X86 Assembly Language
  ☆6Updated 5 years ago
• SriRangaTarun / Jigsaw-Bias-In-Toxicity-Classification
  My work on the Jigsaw Unintended Bias in Toxicity Classification Competition on Kaggle
  ☆4Updated 4 years ago
• 0xAether / pipes
  Terminal screensaver for GNU/Linux machines using the bash shell.
  ☆21Updated 12 years ago
• JohnEarnest / Four.Ps
  A minimal Forth VM and Compiler implemented in PostScript
  ☆27Updated 13 years ago
• mpcsh / ForML
  Bachelor's thesis 2019
  ☆12Updated last year
• clang-omp / clang-omp.github.io
  ☆13Updated 7 years ago
• lukewilson2002 / oxc
  The first C compiler written in Rust.. mostly unworking.
  ☆43Updated 4 years ago
• lunaStratos / commuteMaster
  교통마스터 / 2019 SK NUGU 플레이 개발 공모전 장려상 / Project : Autumn Rain
  ☆4Updated 8 months ago
• chklauser / rust-nvm
  A toy byte-code virtual machine written in Rust
  ☆15Updated 8 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• anologicon / polymer-fsp
  Simple solutions for simple problems (or not).
  ☆2Updated 6 years ago
• racket / mzscheme
  ☆12Updated last month
• daniel-p-gonzalez / bon
  Bon is a programming language designed with simplicity, performance, and safety in mind.
  ☆313Updated 3 years ago
• OnePlusOSS / android_external_skia
  ☆4Updated 7 years ago
• owo-lang / voile-rs
  Dependently-typed row-polymorphic programming language, evolved from minitt-rs
  ☆97Updated 4 years ago
• hans0209 / 2019MainProject
  Sunmoon 2019 OpenSource Community Group
  ☆1Updated 6 years ago
• wonderer007 / Naive-Bayes-classifier
  Naive Bayes classifier is classification algorithm. It uses Naive based Bernoulli and Multinomial equation to classify documents(Text) as…
  ☆6Updated 9 years ago
• munificent / lark
  The Lark programming language.
  ☆58Updated 14 years ago
• rainbow-alex / burn
  Burn is a programming language written in Rust.
  ☆28Updated 10 years ago
• JetBrains / ot-coq
  ot-coq
  ☆16Updated last year
• graham / jsl
  Javascript Lambda for the command line.
  ☆5Updated 5 years ago
• PistonDevelopers / history_tree
  A persistent history tree for undo/redo
  ☆24Updated 3 years ago