100% pure functional programming language which will allow you to code in untyped lambda calculus as defined in textbooks
☆35Mar 15, 2025Updated last year
Alternatives and similar repositories for zerolambda
Users that are interested in zerolambda are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Compiler for a small stack-based imperative language, targeting the Piet language.☆19May 21, 2026Updated 4 months ago
- Programming language☆14Apr 9, 2025Updated last year
- A fast, cross-platform system information tool written in F#☆20Feb 27, 2026Updated 7 months ago
- A small general purpose programming language for programming on the JVM.☆18Jul 19, 2026Updated 2 months ago
- Personal developer notes attached to Git commits. Branch-scoped, rebase-safe, local-first.☆16Dec 30, 2025Updated 9 months 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.
- Fable binding for react-flatpickr that is ready to use within Elmish applications☆14Apr 21, 2019Updated 7 years ago
- Basically the C programming language peppered with my preferences☆12Jun 12, 2025Updated last year
- Reader Implementations of "Writing a C Compiler"☆48Jul 28, 2026Updated 2 months ago
- A stack trace parser for Neovim written in Lua and inspired by vim-unstack (https://github.com/mattboehm/vim-unstack)☆19Aug 4, 2026Updated 2 months ago
- Prevents neovim from showing filler lines unnecessarily due to scrolling beyond buffer content☆20Oct 30, 2025Updated 11 months ago
- A collection of small, focused JavaScript tools — forged one piece at a time.☆22Updated this week
- React Advanced Reason Workshop☆13Apr 29, 2022Updated 4 years ago
- C plus Prolog☆169Apr 11, 2026Updated 6 months ago
- Light weight runtime for ReScript☆16Jun 16, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Reason bindings for react-navigation☆14May 16, 2021Updated 5 years ago
- A functional scripting language compiling to pure Lambda Calculus☆34Nov 25, 2025Updated 10 months ago
- A fully programmable, multi-platform, syntax-slick modern language. Let’s finish this strong. 💪☆22Aug 3, 2026Updated 2 months ago
- ☆13Sep 15, 2022Updated 4 years ago
- A collection of utils to work with the Tezos blockchain using Elixir: parsing Micheline, verifying Tezos signed messages, deriving Tezos …☆14Aug 17, 2026Updated last month
- Intelligently create new files☆26Jul 24, 2025Updated last year
- Neovim plugin to toggle between different kinds of lists.☆34May 17, 2025Updated last year
- Design-by-contract programming for JavaScript and ReasonML☆14Feb 14, 2021Updated 5 years ago
- ☆13Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 🎓 Web app to help teach HM type inference☆23Updated this week
- A Game Boy Advance emulator.☆12Jun 16, 2024Updated 2 years ago
- Edit a part of a file individually☆15Jan 16, 2026Updated 8 months ago
- Image Proxy for use with Wallets☆13Mar 14, 2024Updated 2 years ago
- A humble attempt at an operating system☆15May 15, 2025Updated last year
- Blockchain API made with Typescript and Node☆12Sep 18, 2022Updated 4 years ago
- Drupal CMS APIM Developer Portal☆12Apr 19, 2016Updated 10 years ago
- Write DynamoDB expressions without the friction☆14Jul 31, 2026Updated 2 months ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Mar 24, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Language Server Protocol implementation for the Smithy IDL☆14May 15, 2025Updated last year
- Quickly create an opinionated bsconfig.json☆15Mar 30, 2021Updated 5 years ago
- Odin bindings for fasm, the flat assembler☆11Aug 20, 2026Updated last month
- A grug-brained stab at layout and tooling to conveniently develop many Clojure projects in a single source repo.☆20Mar 10, 2025Updated last year
- locerr (locational error): Library for nice-looking errors in source code☆18Jul 10, 2017Updated 9 years ago
- Program memory visualizer for GDB/LLDB (bachelor thesis)☆12Apr 7, 2026Updated 6 months ago
- f3d, a.k.a. FREEDIUS, a.k.a. the Cartographic Modeling Environment, a.k.a. the Image Understanding Environment. Lisp-based geospatial im…☆10Nov 18, 2017Updated 8 years ago