Lambda Calculus compiler for Codewars
☆18Oct 3, 2025Updated 5 months ago
Alternatives and similar repositories for lambda-calculus
Users that are interested in lambda-calculus are comparing it to the libraries listed below
Sorting:
- ☆12Feb 27, 2026Updated last week
- micro editor plugin that provides zig fmt integration☆15Jul 1, 2022Updated 3 years ago
- Swift plugin for https://github.com/asdf-vm/asdf/☆11Apr 14, 2021Updated 4 years ago
- ⚠️ The articles have been moved to the main repository. If you would like to publish one, please use the link below to create a Pull Requ…☆12Dec 29, 2025Updated 2 months ago
- ☆11Sep 21, 2025Updated 5 months ago
- A computer built as a cellular automation pattern☆14May 13, 2023Updated 2 years ago
- Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future gr…☆16Jun 8, 2025Updated 8 months ago
- routing your gemini-cli to openai 3rd party providers☆21Jul 21, 2025Updated 7 months ago
- COmpact SOlver for COnstrained problems☆14Feb 26, 2026Updated last week
- in-site Shortkeys☆15Jun 13, 2022Updated 3 years ago
- JFact repository☆18Apr 17, 2022Updated 3 years ago
- like self-html... but for DSLs☆11Nov 20, 2021Updated 4 years ago
- Automatically generated Nix expressions of Stackage snapshots☆11Updated this week
- Busy Beaver deciders backed by Coq proof☆15Updated this week
- Haskell library for representing and manipulating Symbolic Regression Tree☆16Updated this week
- Easily access and modify calendars, events, and UI settings via the Google Calendar API☆10Jan 7, 2023Updated 3 years ago
- Fonts for the Guardian’s digital platforms.☆14Dec 8, 2025Updated 2 months ago
- Protobuf generator for MoonBit programming language☆14Updated this week
- K8s Limits Auto Resizer A tool for automatically optimizing Kubernetes resource limits and requests based on historical usage patterns.☆16Dec 6, 2025Updated 3 months ago
- A Haskell Collections library. [WIP]☆14Apr 7, 2024Updated last year
- Efficient and single-steppable ULC evaluation algorithm☆15Jun 1, 2021Updated 4 years ago
- Procedural generation of crossword puzzles, parametric in puzzle size, "expected" difficulty, and input dictionaries!☆13Mar 1, 2020Updated 6 years ago
- The OpenRC init system☆13Feb 21, 2025Updated last year
- A 3D adaptation of the state-of-the-art sparrow nesting algorithm☆22Nov 26, 2025Updated 3 months ago
- RJSwiftMacros is a Swift package that provides swift macros☆14Sep 13, 2025Updated 5 months ago
- Garbage Collection research (links to popular articles and on-line available PDFs)☆21Feb 18, 2013Updated 13 years ago
- A solver based on local search☆14Oct 14, 2025Updated 4 months ago
- A very very very.... basic OS for self-learning purposes. This is not a project, just an attempt.☆10Jan 6, 2021Updated 5 years ago
- Lit huge poster app☆13Oct 5, 2021Updated 4 years ago
- Wrapper for AMD's RadeonPro ray tracer☆12Jun 12, 2025Updated 8 months ago
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆19Nov 15, 2025Updated 3 months ago
- A Haskell port of the C++ smallpt path tracer☆16Dec 14, 2020Updated 5 years ago
- Hardhat plugin to develop smart contracts with Fe☆15Aug 2, 2022Updated 3 years ago
- Git clone of Charva's svn repository at https://sourceforge.net/p/charva/code/☆14Apr 1, 2016Updated 9 years ago
- JS7800 is an enhanced JavaScript port of the ProSystem Atari 7800 emulator☆15Jul 12, 2025Updated 7 months ago
- Neovim Config and other dot-files.☆25Updated this week
- ☆15Dec 5, 2023Updated 2 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆16Feb 10, 2025Updated last year
- Export VMamba to onnx. VMamba: Visual State Space Models，code is based on VMamba: https://github.com/MzeroMiko/VMamba☆20May 13, 2025Updated 9 months ago