Alternatives and similar repositories for LambdaCalculus

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

• addisoncrump / Vitsy

  View on GitHub
  Vitsy Programming Language, WIP
  ☆11Feb 15, 2017Updated 9 years ago
• alexandermburke / FiveNightsAtFreddys

  View on GitHub
  The official Github Repo and Download for the FNAF Mod
  ☆10Nov 10, 2015Updated 10 years ago
• tominated / system_f_omega

  View on GitHub
  My Attempt at System Fω with Row-Polymorphism
  ☆30Jul 4, 2021Updated 4 years ago
• OhadRau / Quartz

  View on GitHub
  The official compiler for the Quartz programming language
  ☆29May 3, 2018Updated 7 years ago
• namin / scalogno

  View on GitHub
  prototyping logic programming in Scala
  ☆42Mar 25, 2022Updated 3 years ago
• john01dav / ServerForge

  View on GitHub
  A Forge based Minecraft server-side plugin API
  ☆13Nov 23, 2014Updated 11 years ago
• georgestagg / repo

  View on GitHub
  A Cydia Repo for iOS tweaks hosted on github.
  ☆13Mar 5, 2018Updated 7 years ago
• dbittman / sea

  View on GitHub
  Userland and toolchain for seakernel
  ☆13Dec 11, 2015Updated 10 years ago
• AllTheMods / AllTheModium

  View on GitHub
  AllTheModium for Minecraft 1.16+
  ☆17Jan 16, 2026Updated last month
• refi64 / libcut

  View on GitHub
  Easy, flexible C unit testing
  ☆11Feb 13, 2016Updated 10 years ago
• paddywwoof / rust_pi3d

  View on GitHub
  translation of pi3d from python to rust
  ☆11Jun 28, 2025Updated 7 months ago
• aaronryank / triangular

  View on GitHub
  A two-dimensional esoteric programming language, inspired by Hexagony and based on Surface
  ☆11Nov 14, 2019Updated 6 years ago
• Swiftloke / MSProbe

  View on GitHub
  Simple, straightforward MSP430 disassembler and assembler in Python
  ☆14Jul 5, 2023Updated 2 years ago
• ponylang / crypto

  View on GitHub
  Library of common cryptographic algorithms and functions for Pony
  ☆12Jul 16, 2025Updated 7 months ago
• Oaxoa / Keysme

  View on GitHub
  Makes managing complex keyboard interactions and impossible hotkeys a simple task.
  ☆10Sep 16, 2020Updated 5 years ago
• nikomatsakis / bidir-type-infer

  View on GitHub
  Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust
  ☆46Jun 1, 2016Updated 9 years ago
• OlegSmelov / omgrofl-interpreter

  View on GitHub
  Omgrofl interpreter
  ☆16Oct 1, 2020Updated 5 years ago
• Rybar / js13k2017kit

  View on GitHub
  JS13K 2017 boilerplate
  ☆11Aug 13, 2017Updated 8 years ago
• reuters-graphics / awesome-charts

  View on GitHub
  An awesome list of reusable chart modules created by the Reuters graphics team
  ☆10Jan 20, 2022Updated 4 years ago
• Jordach / big_freaking_dig

  View on GitHub
  Repo containing the game for the Minetest Engine.
  ☆14Mar 22, 2016Updated 9 years ago
• powerspowers / flatland

  View on GitHub
  3D grid and building block engine supporting the 3DML text format, similar to but predates Minecraft
  ☆12Sep 9, 2018Updated 7 years ago
• seep / parcel-plugin-glsl

  View on GitHub
  A parcel plugin for GLSL files
  ☆11Jan 11, 2018Updated 8 years ago
• Build-9 / Hyxin

  View on GitHub
  A Mixin bootstrap for Hytale.
  ☆26Dec 11, 2025Updated 2 months ago
• ararslan / julia-rs

  View on GitHub
  Call Julia from Rust
  ☆16Dec 8, 2016Updated 9 years ago
• banthar / mine3d

  View on GitHub
  yet another Minecraft clone
  ☆17Oct 24, 2011Updated 14 years ago
• randombyte-developer / kt-skript

  View on GitHub
  A Sponge plugin.
  ☆10Jul 25, 2020Updated 5 years ago
• sile / erl_parse

  View on GitHub
  Erlang source code parser written in Rust
  ☆10Oct 15, 2021Updated 4 years ago
• Thinkofname / Prismarine-Standalone

  View on GitHub
  A small minecraft server that aims to do the minimum required for a basic minecraft server.
  ☆16Sep 7, 2014Updated 11 years ago
• clarus / coq-blog

  View on GitHub
  A blog about Coq
  ☆11Mar 21, 2021Updated 4 years ago
• kzh / lyca

  View on GitHub
  programming language compiler w/ llvm
  ☆13Nov 18, 2017Updated 8 years ago
• NicolaLancellotti / cherry

  View on GitHub
  🍒 Cherry programming language 🍒
  ☆13Sep 18, 2024Updated last year
• solson / spideros

  View on GitHub
  A hobby operating system written in C++14
  ☆12Jun 18, 2016Updated 9 years ago
• molarmanful / -_-

  View on GitHub
  ಠ_ಠ The most disapproving coding language on the Internet.
  ☆10Nov 4, 2015Updated 10 years ago
• ilya-klyuchnikov / faba

  View on GitHub
  Fast Bytecode Analysis
  ☆15Jan 2, 2016Updated 10 years ago
• macournoyer / rbv8

  View on GitHub
  A Ruby VM running on Google V8 super VM.
  ☆65Sep 9, 2008Updated 17 years ago
• rubenwardy / food

  View on GitHub
  Minetest Mod: Adds foods. Supports ingredients from many mods.
  ☆11Apr 6, 2019Updated 6 years ago
• HowardZHY / Phosphor-Legacy-Forge

  View on GitHub
  Unofficial fork Phosphor ported to 1.8.9 Forge
  ☆13Apr 24, 2024Updated last year
• derat / nitter-rss-proxy

  View on GitHub
  Moved to codeberg.org/derat/nitter-rss-proxy
  ☆11Apr 18, 2023Updated 2 years ago
• TauMC / Blacksmith

  View on GitHub
  Experimental Java agent that optimizes ModLauncher/FML/LaunchWrapper
  ☆11Sep 20, 2025Updated 4 months ago