Alternatives and similar repositories for lambdacalc

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

• mousepawmedia / pawlib
  Performance meets elegance.
  ☆18Updated 3 years ago
• mraleph / mraleph.github.com
  ☆17Updated 4 months ago
• 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
• clang-omp / clang-omp.github.io
  ☆13Updated 7 years ago
• jsiwek / WhitesmithsIndentStyle
  Whitesmiths indentation style plugin for Sublime Text.
  ☆6Updated 9 years ago
• anologicon / polymer-fsp
  Simple solutions for simple problems (or not).
  ☆2Updated 7 years ago
• taijiweb / taijilang
  a customizable and extensible language with dynamic parser and meta compilation.
  ☆65Updated 9 years ago
• hans0209 / 2019MainProject
  Sunmoon 2019 OpenSource Community Group
  ☆1Updated 6 years ago
• graham / jsl
  Javascript Lambda for the command line.
  ☆5Updated 5 years ago
• GeorgeKT / menhir-lang
  Experiments with llvm to create a toy programming language
  ☆25Updated 6 months ago
• hrajchert / express-shared-routes
  Named routes for the express framework that are shared between the server and the browser
  ☆13Updated 11 years ago
• PatrickRoderman / NaiveBayesClassifier
  Generalized Naive Bayes Text Classifier written in Java.
  ☆7Updated 8 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 10 years ago
• sweet-js / sweet-helpers
  A collection of utilities for matching syntax in Sweet.js macros
  ☆14Updated 7 years ago
• danielnunesdc / Chat
  Socket Programming - Multi-Client Server chat application using java/Swing.
  ☆8Updated 7 years ago
• racket / mzscheme
  ☆12Updated last month
• bostko / doc2text
  Convert odt document files to markdown format
  ☆9Updated 4 months ago
• themasch / rust-git
  a git implementation in rust. yeah, I know..
  ☆12Updated 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
• JohnEarnest / Four.Ps
  A minimal Forth VM and Compiler implemented in PostScript
  ☆27Updated 14 years ago
• moar-regex / moar
  Deterministic Regular Expressions with Backreferences
  ☆21Updated 4 years ago
• Richyeohx / Assembly
  X86 Assembly Language
  ☆6Updated 6 years ago
• marbelous-lang / marbelous.py
  Python interpreter for Marbelous
  ☆22Updated 9 years ago
• lunaStratos / commuteMaster
  교통마스터 / 2019 SK NUGU 플레이 개발 공모전 장려상 / Project : Autumn Rain
  ☆4Updated 11 months ago
• munificent / lark
  The Lark programming language.
  ☆58Updated 14 years ago
• boomshroom / NovaLang
  A Haskell derived programming language for systems development.
  ☆14Updated 6 years ago
• mazonos / utilities
  Scripts utilitários para mazonOS
  ☆10Updated 6 years ago
• sanxiyn / hcc
  Historical Country Codes
  ☆4Updated 6 years ago
• mknyszek / rust-libquantum
  Rust bindings for libquantum
  ☆12Updated 7 years ago