Scala implementation of a lambda calculus interpreter
☆28Mar 19, 2010Updated 15 years ago
Alternatives and similar repositories for LambdaCalculus
Users that are interested in LambdaCalculus are comparing it to the libraries listed below
Sorting:
- Vitsy Programming Language, WIP☆11Feb 15, 2017Updated 9 years ago
- The official Github Repo and Download for the FNAF Mod☆10Nov 10, 2015Updated 10 years ago
- My Attempt at System Fω with Row-Polymorphism☆30Jul 4, 2021Updated 4 years ago
- The official compiler for the Quartz programming language☆29May 3, 2018Updated 7 years ago
- prototyping logic programming in Scala☆42Mar 25, 2022Updated 3 years ago
- A Forge based Minecraft server-side plugin API☆13Nov 23, 2014Updated 11 years ago
- translation of pi3d from python to rust☆11Jun 28, 2025Updated 8 months ago
- Library of common cryptographic algorithms and functions for Pony☆12Jul 16, 2025Updated 7 months ago
- Simple, straightforward MSP430 disassembler and assembler in Python☆14Jul 5, 2023Updated 2 years ago
- A script to set wallpapers just how I like them☆11Mar 23, 2024Updated last year
- Makes managing complex keyboard interactions and impossible hotkeys a simple task.☆10Sep 16, 2020Updated 5 years ago
- Userland and toolchain for seakernel☆13Dec 11, 2015Updated 10 years ago
- Easy, flexible C unit testing☆11Feb 13, 2016Updated 10 years ago
- A Cydia Repo for iOS tweaks hosted on github.☆13Mar 5, 2018Updated 8 years ago
- A two-dimensional esoteric programming language, inspired by Hexagony and based on Surface☆11Nov 14, 2019Updated 6 years ago
- ☆11May 12, 2025Updated 9 months ago
- AllTheModium for Minecraft 1.16+☆17Updated this week
- Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust☆46Jun 1, 2016Updated 9 years ago
- 🔄 Rotate values with a bitwise rotation.☆11Feb 9, 2024Updated 2 years ago
- a steady descent into madness☆17Jun 22, 2025Updated 8 months ago
- "The Legend of Zelda: Majora's Mask 3D" savedata RE☆10Jul 6, 2015Updated 10 years ago
- Tiled Map Editor *.tmx files parser☆12Jan 21, 2026Updated last month
- Simple WebGL post-processing using some pieces from stack.gl☆14Nov 21, 2014Updated 11 years ago
- Lifting Reduction Semantics through Syntactic Sugar☆13May 13, 2018Updated 7 years ago
- programming language compiler w/ llvm☆13Nov 18, 2017Updated 8 years ago
- ☆10Jul 16, 2017Updated 8 years ago
- crappy video injector for moflex videos☆10Jul 13, 2016Updated 9 years ago
- 3D grid and building block engine supporting the 3DML text format, similar to but predates Minecraft☆12Sep 9, 2018Updated 7 years ago
- DEPRECATED☆24Oct 13, 2020Updated 5 years ago
- ☆10Jul 24, 2023Updated 2 years ago
- Metal Charting☆13May 9, 2017Updated 8 years ago
- Minetest Mod: Adds foods. Supports ingredients from many mods.☆11Apr 6, 2019Updated 6 years ago
- a questions and answers couchapp similar to stackoverflow☆22Jan 15, 2010Updated 16 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Nov 27, 2021Updated 4 years ago
- A rust port of https://github.com/charmbracelet/lipgloss☆23Dec 15, 2025Updated 2 months ago
- The Saturn Homebrew Repository for Example Code, or SHREC, strives to provide working examples of code necessary to create homebrew game…☆10Feb 22, 2019Updated 7 years ago
- Moved to codeberg.org/derat/nitter-rss-proxy☆11Apr 18, 2023Updated 2 years ago
- An operating system.☆30Dec 6, 2017Updated 8 years ago
- Analog TV simulation for Apple 2 emulators☆10Mar 9, 2015Updated 11 years ago