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:
- Compiler for a small stack-based imperative language, targeting the Piet language.☆17May 21, 2026Updated last week
- Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.☆49Feb 13, 2025Updated last year
- The Montreal Haskell Compiler☆27Oct 16, 2025Updated 7 months ago
- Programming language☆14Apr 9, 2025Updated last year
- A small general purpose programming language for programming on the JVM.☆18Feb 3, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- List of awesome Sutil resources☆14Jun 14, 2023Updated 2 years ago
- Basically the C programming language peppered with my preferences☆12Jun 12, 2025Updated 11 months ago
- A SBT Plugin Which Automatically Configures MiMa Based On Your Version Scheme (SemVer, PVP, etc)☆11Dec 1, 2025Updated 5 months ago
- A functional scripting language compiling to pure Lambda Calculus☆33Nov 25, 2025Updated 6 months ago
- A PHP-based implementation of generics (templated classes) to aid with stricter type consistency.☆16Jul 10, 2023Updated 2 years ago
- ☆36May 15, 2026Updated 2 weeks ago
- 🎓 Web app to help teach HM type inference☆22May 20, 2026Updated last week
- A simple statically typed programming language☆11Jun 11, 2025Updated 11 months ago
- GitHub Actions workflow that runs a socket-activated echo server with Podman in a user systemd service☆13May 24, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- C plus Prolog☆170Apr 11, 2026Updated last month
- sbt plugin for adding/updating license headers in source files☆16Sep 7, 2021Updated 4 years ago
- Blazing fast, cross-platform zig/zls version manager & project starter kit☆46Apr 29, 2026Updated last month
- A SBT plugin for comparing benchmarks in your PRs☆17May 8, 2023Updated 3 years ago
- Example of easy dynamic import in ReScript using Vite☆10Jul 7, 2022Updated 3 years ago
- Reason bindings for react-navigation☆14May 16, 2021Updated 5 years ago
- Parse CSV strings in ReasonML☆12Jan 5, 2023Updated 3 years ago
- An example to show JS users can use Rescript based library without using ReScript☆15Feb 10, 2021Updated 5 years ago
- Neovim plugin to toggle between different kinds of lists.☆33May 17, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- a high performance blockchain☆14May 20, 2026Updated last week
- Atomic Scala Book Solutions - for Beginners and first time Functional Programmers☆12Mar 10, 2020Updated 6 years ago
- ☆13Sep 15, 2022Updated 3 years ago
- ☆18Feb 18, 2026Updated 3 months ago
- Composable random generators based on the PCG paper☆14Jan 5, 2023Updated 3 years ago
- printf-style functions for Microsoft.Extensions.Logging.ILogger (Fable-compatible) - https://www.nuget.org/packages?q=FSharp.Logf☆27Dec 10, 2025Updated 5 months ago
- generate art from a hash☆24Jul 6, 2025Updated 10 months ago
- Design-by-contract programming for JavaScript and ReasonML☆14Feb 14, 2021Updated 5 years ago
- ☆13Jul 26, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Edit a part of a file individually☆14Jan 16, 2026Updated 4 months ago
- A humble attempt at an operating system☆15May 15, 2025Updated last year
- Fast bi-directional Scala case class to Avro serialization☆23Mar 18, 2016Updated 10 years ago
- ☆13May 17, 2023Updated 3 years ago
- Blockchain API made with Typescript and Node☆12Sep 18, 2022Updated 3 years ago
- Language definition and parser for AVRO (.avdl) files.☆16Jan 21, 2022Updated 4 years ago
- A Language Server Protocol implementation for the Smithy IDL☆14May 15, 2025Updated last year