Guide elucidating Lambda Calculus
☆16Sep 3, 2021Updated 4 years ago
Alternatives and similar repositories for lambda-calculus
Users that are interested in lambda-calculus are comparing it to the libraries listed below
Sorting:
- Automatic dependency recompilation for Mix.install/2☆23Mar 10, 2024Updated last year
- Collection of optimization-related utilities☆32Jul 30, 2024Updated last year
- Emacs Lisp network-level interface to the PostgreSQL RDBMS☆39Feb 8, 2026Updated 2 weeks ago
- Cross-platform Python client for the CodeReef.ai portal to manage portable workflows, reusable automation actions, software detection plu…☆11Mar 27, 2020Updated 5 years ago
- A fork of Flickr::API from Perl's CPAN☆18Dec 17, 2018Updated 7 years ago
- A Ruby implementation of the centered interval tree☆48Jul 18, 2022Updated 3 years ago
- An example application for the Oculus Quest, written in Zig☆36Nov 24, 2024Updated last year
- R for UX Research☆20Jan 27, 2025Updated last year
- perl live coding☆19Feb 5, 2025Updated last year
- A Pretty Printing XML Generator for Common Lisp☆18Jun 11, 2025Updated 8 months ago
- Amazing package to compute decompositions into irreducibles of explicit group representations and the Wedderburn decomposition for endomo…☆12Dec 22, 2025Updated 2 months ago
- Изучение C++ и алгоритмов CV на спец. курсе для 11 классов ФМЛ №239☆10Sep 5, 2024Updated last year
- Some hacks on top of Alain Picard's CSV parser☆16Jun 2, 2014Updated 11 years ago
- ☆26Mar 26, 2024Updated last year
- retrobob is a retro gaming emulator that runs directly on your browser. Super Nintendo, NES/Famicom, Gameboy and Gameboy Color are curren…☆11Mar 25, 2024Updated last year
- Circuit Synthesis for Yao's Garbled Circuit by TinyGarble☆11Sep 25, 2020Updated 5 years ago
- CLI for semantic search on your computer. Searches text files and identifies the most relevant chunks to your query.☆22Nov 14, 2025Updated 3 months ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- ☆10May 18, 2024Updated last year
- Zig bindings and packaging for notcurses☆12Apr 16, 2024Updated last year
- Clojure-style regular expression functions in Common Lisp☆13Feb 11, 2024Updated 2 years ago
- Zig Vala - Toolchain & Build System Integration☆15Jan 28, 2022Updated 4 years ago
- Boron is the atom that comes before carbon.☆13Aug 27, 2017Updated 8 years ago
- vCard builder and parser for Ruby☆10Apr 21, 2015Updated 10 years ago
- BKNR Web Components☆16Aug 7, 2017Updated 8 years ago
- Ruby client gem for the unofficial Jisho API☆10Mar 17, 2023Updated 2 years ago
- automating the zig release process☆11Nov 19, 2025Updated 3 months ago
- An exploration of possibilities with the bevy_mod_scripting crate☆12Apr 8, 2024Updated last year
- High-ish performance, declarative, super minimal DOM tools for HTML & SVG☆12Jul 22, 2021Updated 4 years ago
- A fonticulously fast font builder☆13May 20, 2022Updated 3 years ago
- My emacs setup. 25+ years in the making, not counting reboots.☆26Jan 15, 2026Updated last month
- The top 1500 Chinese Characters setup for Obsidian☆10Jul 27, 2022Updated 3 years ago
- annotated bibliography on approximate computing☆10Jan 16, 2016Updated 10 years ago
- JavaScript and Objective-J compiler☆15Jul 5, 2016Updated 9 years ago
- ☆15Aug 24, 2025Updated 6 months ago
- Researchers who published code, models (in some cases), and demo apps (in few cases) along with their SOTA paper☆12Oct 19, 2023Updated 2 years ago
- ☆12Oct 28, 2022Updated 3 years ago
- Processing code to implement John Fairfield's Spellcaster☆10Jan 5, 2016Updated 10 years ago
- Hardware Design/Visualization/Simulation/RTLGeneration Framework☆16Feb 12, 2026Updated 2 weeks ago