100% pure functional programming language which will allow you to code in untyped lambda calculus as defined in textbooks
☆34Mar 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:
- Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.☆47Jul 9, 2026Updated last week
- A small general purpose programming language for programming on the JVM.☆18Updated this week
- Personal developer notes attached to Git commits. Branch-scoped, rebase-safe, local-first.☆16Dec 30, 2025Updated 6 months ago
- Basically the C programming language peppered with my preferences☆12Jun 12, 2025Updated last year
- Reader Implementations of "Writing a C Compiler"☆46Jul 2, 2026Updated 2 weeks 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.
- A stack trace parser for Neovim written in Lua and inspired by vim-unstack (https://github.com/mattboehm/vim-unstack)☆19Mar 2, 2026Updated 4 months ago
- The Montreal Haskell Compiler☆27Oct 16, 2025Updated 9 months ago
- Prevents neovim from showing filler lines unnecessarily due to scrolling beyond buffer content☆20Oct 30, 2025Updated 8 months ago
- Atomic Scala Book Solutions - for Beginners and first time Functional Programmers☆12Mar 10, 2020Updated 6 years ago
- React Advanced Reason Workshop☆13Apr 29, 2022Updated 4 years ago
- C plus Prolog☆169Apr 11, 2026Updated 3 months ago
- Light weight runtime for ReScript☆16Jun 16, 2023Updated 3 years ago
- A simple statically typed programming language☆11Jun 11, 2025Updated last year
- Reason bindings for react-navigation☆14May 16, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- cat command in zig☆15Oct 8, 2025Updated 9 months ago
- Parse CSV strings in ReasonML☆12Jan 5, 2023Updated 3 years ago
- A simple, focused and expressive library for building command line applications.☆11Jan 4, 2020Updated 6 years ago
- A functional scripting language compiling to pure Lambda Calculus☆34Nov 25, 2025Updated 7 months ago
- ☆13Sep 15, 2022Updated 3 years ago
- A collection of utils to work with the Tezos blockchain using Elixir: parsing Micheline, verifying Tezos signed messages, deriving Tezos …☆14Jun 9, 2026Updated last month
- Intelligently create new files☆26Jul 24, 2025Updated 11 months ago
- Neovim plugin to toggle between different kinds of lists.☆33May 17, 2025Updated last year
- generate art from a hash☆25Jul 6, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Composable random generators based on the PCG paper☆14Jan 5, 2023Updated 3 years ago
- ☆13Jul 26, 2023Updated 2 years ago
- 🎓 Web app to help teach HM type inference☆23Jun 21, 2026Updated 3 weeks ago
- Edit a part of a file individually☆15Jan 16, 2026Updated 6 months ago
- A humble attempt at an operating system☆15May 15, 2025Updated last year
- minimal and dynamic tiling window manager☆11Jan 1, 2012Updated 14 years ago
- ☆13May 17, 2023Updated 3 years ago
- Blockchain API made with Typescript and Node☆12Sep 18, 2022Updated 3 years ago
- Drupal CMS APIM Developer Portal☆12Apr 19, 2016Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Write DynamoDB expressions without the friction☆14Mar 8, 2026Updated 4 months ago
- Daily kata from the Little Typer☆13Dec 28, 2018Updated 7 years ago
- A "monad" or DSL for creating React components using Fable and F# computation expressions☆34May 3, 2026Updated 2 months ago
- A Language Server Protocol implementation for the Smithy IDL☆14May 15, 2025Updated last year
- ☆18Jul 12, 2026Updated last week
- Quickly create an opinionated bsconfig.json☆15Mar 30, 2021Updated 5 years ago
- locerr (locational error): Library for nice-looking errors in source code☆18Jul 10, 2017Updated 9 years ago