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
• 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
• 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
• jsiwek / WhitesmithsIndentStyle
  Whitesmiths indentation style plugin for Sublime Text.
  ☆6Updated 9 years ago
• mraleph / mraleph.github.com
  ☆15Updated 3 weeks ago
• hans0209 / 2019MainProject
  Sunmoon 2019 OpenSource Community Group
  ☆1Updated 5 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
• AayushNagpal / Visual-novel-Engine
  Game engine developed in android to facilitate creation of visual novels
  ☆8Updated 7 years ago
• keerthitejakonuri / Email-Filtering-using-Naive-Bayes-Text-Classification
  • Implemented Email Filtering and filtered text into various categories like Spam, Social, Promotions etc using Naïve Bayes Text Classifi…
  ☆7Updated 7 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
• lukewilson2002 / oxc
  The first C compiler written in Rust.. mostly unworking.
  ☆43Updated 4 years ago
• lunaStratos / commuteMaster
  교통마스터 / 2019 SK NUGU 플레이 개발 공모전 장려상 / Project : Autumn Rain
  ☆4Updated 6 months ago
• moar-regex / moar
  Deterministic Regular Expressions with Backreferences
  ☆21Updated 4 years ago
• taijiweb / taijilang
  a customizable and extensible language with dynamic parser and meta compilation.
  ☆65Updated 9 years ago
• clang-omp / clang-omp.github.io
  ☆13Updated 7 years ago
• boomshroom / NovaLang
  A Haskell derived programming language for systems development.
  ☆14Updated 6 years ago
• bostko / doc2text
  Convert odt document files to markdown format
  ☆9Updated 11 months ago
• anologicon / polymer-fsp
  Simple solutions for simple problems (or not).
  ☆2Updated 6 years ago
• fuse-open / bash-completion
  Simple bash completion script for Uno
  ☆6Updated 8 years ago
• ArchKudo / Python-Beyond-the-Basics
  ☆3Updated 7 years ago
• geo-sapiens / RColetum
  An R package to get data from Coletum.
  ☆7Updated 2 years ago
• Richyeohx / Assembly
  X86 Assembly Language
  ☆6Updated 5 years ago
• danielnunesdc / Chat
  Socket Programming - Multi-Client Server chat application using java/Swing.
  ☆8Updated 6 years ago
• mazonos / utilities
  Scripts utilitários para mazonOS
  ☆10Updated 5 years ago
• fmi / python-lectures
  Slide in raw format goes here
  ☆14Updated last year
• BaconRemovalUnit / SHA256
  SHA256 implementated in Java
  ☆11Updated 10 years ago
• ewimberley / jGeneticNeuralNet
  A Java library that trains neural networks with a genetic algorithm.
  ☆16Updated 2 years ago
• racket / mzscheme
  ☆12Updated 2 months ago
• munificent / lark
  The Lark programming language.
  ☆58Updated 14 years ago