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 7 years 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
• hans0209 / 2019MainProject
  Sunmoon 2019 OpenSource Community Group
  ☆1Updated 6 years ago
• jsiwek / WhitesmithsIndentStyle
  Whitesmiths indentation style plugin for Sublime Text.
  ☆6Updated 9 years ago
• mousepawmedia / pawlib
  Performance meets elegance.
  ☆18Updated 3 years ago
• hrajchert / express-shared-routes
  Named routes for the express framework that are shared between the server and the browser
  ☆13Updated 11 years ago
• mraleph / mraleph.github.com
  ☆16Updated 3 months 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
• SriRangaTarun / Jigsaw-Bias-In-Toxicity-Classification
  My work on the Jigsaw Unintended Bias in Toxicity Classification Competition on Kaggle
  ☆4Updated 5 years ago
• clang-omp / clang-omp.github.io
  ☆13Updated 7 years ago
• rainbow-alex / burn
  Burn is a programming language written in Rust.
  ☆28Updated 10 years ago
• graham / jsl
  Javascript Lambda for the command line.
  ☆5Updated 5 years ago
• themasch / rust-git
  a git implementation in rust. yeah, I know..
  ☆12Updated 8 years ago
• fuse-open / bash-completion
  Simple bash completion script for Uno
  ☆6Updated 8 years ago
• munificent / lark
  The Lark programming language.
  ☆58Updated 14 years ago
• zaach / zii-jsconf2010-talk
  Slides and code from my track B talk "Build Your Own Programming Language with JavaScript"
  ☆25Updated 15 years ago
• sonyxperiadev / device-sony-tianchi
  ☆5Updated 8 years ago
• bostko / doc2text
  Convert odt document files to markdown format
  ☆9Updated 3 months ago
• ArchKudo / Python-Beyond-the-Basics
  ☆3Updated 8 years ago
• boomshroom / NovaLang
  A Haskell derived programming language for systems development.
  ☆14Updated 6 years ago
• sonyxperiadev / device-sony-castor
  ☆7Updated 7 years ago
• JohnEarnest / Four.Ps
  A minimal Forth VM and Compiler implemented in PostScript
  ☆27Updated 14 years ago
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆30Updated last year
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• 0xAether / pipes
  Terminal screensaver for GNU/Linux machines using the bash shell.
  ☆21Updated 12 years ago
• lukewilson2002 / oxc
  The first C compiler written in Rust.. mostly unworking.
  ☆43Updated 5 years ago
• GeorgeKT / menhir-lang
  Experiments with llvm to create a toy programming language
  ☆25Updated 6 months ago
• clnhlzmn / CopperKitten
  An exercise in programming language design and implementation.
  ☆19Updated 3 years ago
• Tatskaari / GustoLang
  A toy language written in kotlin
  ☆16Updated 6 years ago
• dcuddeback / libudev-sys
  FFI bindings to libudev
  ☆9Updated last year