A collection of lambda calculus interpreters and development tools
☆17Oct 9, 2022Updated 4 years ago
Alternatives and similar repositories for lambda-calculus-devkit
Users that are interested in lambda-calculus-devkit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Fixed-point scalar and matrix multiplication library for SectorLISP☆15Jan 23, 2022Updated 4 years ago
- CalcPad served with redbean☆15Aug 18, 2022Updated 4 years ago
- File format and optimizer for programs encoded in binary lambda calculus☆17Jan 21, 2024Updated 2 years ago
- C23 Checked Arithmetic☆10Nov 14, 2025Updated 11 months ago
- A book about datalog☆13Nov 26, 2022Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- HC-256 Stream cipher in x86 assembly☆19Nov 14, 2017Updated 8 years ago
- [Discontinued] Zig as a Clojure library.☆14Sep 15, 2026Updated last month
- Code to go with my article "The AWK book's 60-line version of Make"☆17Sep 10, 2023Updated 3 years ago
- The most minimal C you can do real work in☆16May 8, 2022Updated 4 years ago
- Common Lisp DSL for building untyped lambda calculus expressions☆27Dec 3, 2024Updated last year
- Bazel toolchain that is backed by cosmopolitan☆18Feb 5, 2024Updated 2 years ago
- simple yet expressive high-level functional scripting language (formerly known as tisp) [MIRROR]☆27May 23, 2026Updated 5 months ago
- ripgrep recursively searches directories for a regex pattern while respecting your gitignore☆22Oct 10, 2023Updated 3 years ago
- Nomad task driver capable of blocking unwanted syscall and filesystem access. Based on the pledge utility for Linux by Justine Tunney☆25Apr 1, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Example programs written for SectorLISP☆24Aug 3, 2022Updated 4 years ago
- Advent of Code built with Redbean☆11Oct 27, 2023Updated 3 years ago
- ☆32Feb 8, 2024Updated 2 years ago
- A very basic Lisp + Erlang-style processes, on a virtual machine☆10Aug 24, 2016Updated 10 years ago
- Moved to SourceHut☆23Apr 10, 2023Updated 3 years ago
- Fast, simplified WAM-based Prolog system☆26Oct 30, 2025Updated last year
- Cross-platform Hybrid Interpreted Meta-Program☆30Oct 16, 2026Updated 2 weeks ago
- Build Rust programs into Cosmopolitan APE binaries: one file that runs on Linux, macOS, Windows, on x86-64 and arm64☆44Oct 15, 2026Updated 2 weeks ago
- A makefile project to demonstrate building a portable Hello World executable with Cosmopolitan Libc☆14Sep 6, 2022Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- a self-hosting lambda calculus compiler☆36Mar 31, 2025Updated last year
- Serve assets in zipfiles inside or outside of Redbean☆17Sep 1, 2022Updated 4 years ago
- αcτµαlly pδrταblε εxεcµταblε redbean-based local web application☆17May 27, 2021Updated 5 years ago
- variations on lisp, exploring reflection☆12Jun 21, 2025Updated last year
- Learn how argc and argv are passed from environment to Unix program.☆19Jul 9, 2021Updated 5 years ago
- Local, offline AI for RimWorld. Runs Phi-3 on your own machine to generate in-game content. No API keys, no cloud.☆10Oct 15, 2026Updated 2 weeks ago
- 🎨 Drawing images with lambda calculus☆12Aug 27, 2026Updated 2 months ago
- Swift wrapper for @jart's bestline, an ANSI Standard X3.64 teletypewriter command session library☆18Jul 24, 2025Updated last year
- A build-once run-anywhere SDL2 program.☆28Nov 30, 2023Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Tools for introspecting the current JVM process in Clojure☆10Aug 4, 2022Updated 4 years ago
- ☆11Apr 28, 2024Updated 2 years ago
- A clojure CLI build tool, and build library.☆14May 14, 2023Updated 3 years ago
- Project starter template for building cross-platform applications in C using the Cosmopolitan toolchain☆30Aug 30, 2026Updated 2 months ago
- GNU Assembler x86 language support for Visual Studio Code☆20Nov 7, 2023Updated 2 years ago
- ☆18Jul 2, 2024Updated 2 years ago
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 6 years ago