kciray8 / zerolambdaView external linksLinks
100% pure functional programming language which will allow you to code in untyped lambda calculus as defined in textbooks
☆32Mar 15, 2025Updated 10 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 last month
- A small general purpose programming language for programming on the JVM.☆18Feb 3, 2025Updated last year
- A functional scripting language compiling to pure Lambda Calculus☆33Nov 25, 2025Updated 2 months ago
- Neovim plugin to toggle between different kinds of lists.☆34May 17, 2025Updated 8 months ago
- C plus Prolog☆168Mar 11, 2025Updated 11 months ago
- An implementation of interaction nets as a forth-like language.☆44Nov 16, 2025Updated 2 months ago
- ☆10Oct 9, 2023Updated 2 years ago
- Interactive Python development in Neovim with cell-based execution, IPython kernels, and rich media output in your browser☆22Dec 9, 2025Updated 2 months ago
- JSON-RPC 2.0 implementation for Symfony☆11Jan 6, 2026Updated last month
- unpack is a small layer on top of vim.pack API to allow single file plugin configurations☆25Feb 5, 2026Updated last week
- ☆10Aug 20, 2024Updated last year
- Lualine component for CodeCompanion in Neovim☆19Jan 24, 2026Updated 2 weeks ago
- Ttris is a tetraminoes game for TRS-80 Model 1/3 computers.☆13Sep 20, 2023Updated 2 years ago
- JOCL demos project☆22Aug 9, 2011Updated 14 years ago
- This is a skeleton application based on the Laminas MVC skeleton that adds AlpineJS, Twig, Doctrine, Circlical/User, Assetic, TailwindCSS…☆11Oct 18, 2022Updated 3 years ago
- Debug as an Effect (DaaE)☆10Apr 22, 2025Updated 9 months ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated 8 months ago
- ☆13Apr 25, 2022Updated 3 years ago
- ☆19Feb 2, 2026Updated last week
- [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
- All my code golf answers from Stack Exchange and other sites(TopAnswers, Reddit, etc.)☆11Mar 7, 2024Updated last year
- Programs for computing beautiful pictures and animations of zeroes of polynomials.☆14Aug 14, 2024Updated last year
- A Haskell implementation of a C compiler☆12Jun 19, 2021Updated 4 years ago
- Hosts open-sourced parts of WireframeSketcher rapid wireframing tool☆16Apr 3, 2025Updated 10 months ago
- Open-source reference Smart-contracts library for the Tezos Ecosystem, written in CamelLIGO and JSLigo☆11Aug 22, 2023Updated 2 years ago
- Drupal CMS APIM Developer Portal☆12Apr 19, 2016Updated 9 years ago
- documentation for things like relations and parts of speech used by wordnets☆13Jun 18, 2024Updated last year
- Experiments with syntax and symbols☆15Mar 5, 2019Updated 6 years ago
- StringTemplate views for Spring Framework MVC☆18May 28, 2013Updated 12 years ago
- Simple BlackJack game via Browser using SWI Prolog, Tau Prolog☆10Feb 2, 2020Updated 6 years ago
- Odin bindings for fasm, the flat assembler☆11Mar 20, 2025Updated 10 months ago
- A beautiful, vibrant Neovim colorscheme inspired by spring blossoms with a soft, dreamy aesthetic.☆21Jan 5, 2026Updated last month
- Thin covers for Dyalog APL's ⎕R and ⎕S☆10Jul 6, 2020Updated 5 years ago
- ☆11May 29, 2015Updated 10 years ago
- Odin binding for a tiny cross-platform webview library to build modern cross-platform GUIs.☆14Dec 10, 2025Updated 2 months ago
- Version lock, cache, and run binaries from any Github Release assets. Pull in external tools and keep the versions in sync across your te…☆15Jan 3, 2024Updated 2 years ago
- Metamath logic game☆10Apr 16, 2025Updated 9 months ago
- Flow - Modern C++ toolkit for async loops, logs, config, benchmarking, and more [See also `ipc` repo]☆13Jan 23, 2026Updated 3 weeks ago
- An OSGi extender for declarative JAX-RS bundles☆29Oct 22, 2010Updated 15 years ago