100% pure functional programming language which will allow you to code in untyped lambda calculus as defined in textbooks
☆32Mar 15, 2025Updated 11 months ago
Alternatives and similar repositories for zerolambda
Users that are interested in zerolambda are comparing it to the libraries listed below
Sorting:
- Compiler for a small stack-based imperative language, targeting the Piet language.☆14Dec 17, 2025Updated 2 months ago
- A small general purpose programming language for programming on the JVM.☆18Feb 3, 2025Updated last year
- Programming language☆14Apr 9, 2025Updated 10 months ago
- A functional scripting language compiling to pure Lambda Calculus☆33Nov 25, 2025Updated 3 months ago
- Make any livecam as your Mac desktop wallpaper☆10Jan 10, 2022Updated 4 years ago
- ☆33Feb 25, 2026Updated last week
- Claude Code configuration framework — agents, skills, hooks, rules, and MCP server setup for Next.js/Supabase/TypeScript projects☆38Updated this week
- ☆15Oct 14, 2025Updated 4 months ago
- C plus Prolog☆168Mar 11, 2025Updated 11 months ago
- An implementation of interaction nets as a forth-like language.☆45Nov 16, 2025Updated 3 months ago
- A Game Boy Advance emulator.☆11Jun 16, 2024Updated last year
- Interactive Python development in Neovim with cell-based execution, IPython kernels, and rich media output in your browser☆23Dec 9, 2025Updated 2 months ago
- A simple, focused and expressive library for building command line applications.☆11Jan 4, 2020Updated 6 years ago
- Agent skills for SwiftUI, built from Apple's Xcode AI documentation.☆33Feb 1, 2026Updated last month
- GameBoy emulator written in C++.☆11Sep 17, 2025Updated 5 months ago
- Thin covers for Dyalog APL's ⎕R and ⎕S☆10Jul 6, 2020Updated 5 years ago
- A regular expression parser written in JavaScript☆10Feb 24, 2021Updated 5 years ago
- A beautiful, vibrant Neovim colorscheme inspired by spring blossoms with a soft, dreamy aesthetic.☆21Jan 5, 2026Updated 2 months ago
- React Advanced Reason Workshop☆13Apr 29, 2022Updated 3 years ago
- A Haskell implementation of a C compiler☆12Jun 19, 2021Updated 4 years ago
- Moved to Codeberg☆10Jan 10, 2026Updated last month
- Simple single-digit-nanosecond-overhead tracer☆18Apr 30, 2025Updated 10 months ago
- ☆11May 29, 2015Updated 10 years ago
- This project aims to develop a Compiler Infrastructure which have advanced memory safety and concurrency features.☆10Dec 27, 2023Updated 2 years ago
- unpack is a small layer on top of vim.pack API to allow single file plugin configurations☆26Feb 22, 2026Updated last week
- Programs for computing beautiful pictures and animations of zeroes of polynomials.☆14Aug 14, 2024Updated last year
- documentation for things like relations and parts of speech used by wordnets☆14Jun 18, 2024Updated last year
- My exercises for Haskell: First Principles☆10Oct 16, 2018Updated 7 years ago
- Open source game engine for Baba Is You puzzle game☆12Jul 18, 2024Updated last year
- [kept for historical reasons, see efene] a calculator implemented in erlang that will turn into a toy language if I have time☆16Oct 24, 2009Updated 16 years ago
- A library for keeping Macs awake.☆11Jun 20, 2021Updated 4 years ago
- A tiny OCaml compiler with JVM backend 🐫☕️☆11Mar 12, 2019Updated 6 years ago
- Metamath logic game☆10Apr 16, 2025Updated 10 months ago
- Hosts open-sourced parts of WireframeSketcher rapid wireframing tool☆16Apr 3, 2025Updated 11 months ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated 9 months ago
- N-Queens puzzle built with react and SWI Pengines.☆10Feb 24, 2025Updated last year
- All my code golf answers from Stack Exchange and other sites(TopAnswers, Reddit, etc.)☆11Mar 7, 2024Updated last year
- Lualine component for CodeCompanion in Neovim☆19Jan 24, 2026Updated last month
- Unlambda interpreter☆11Jul 9, 2024Updated last year