lambda calculus interpreter
☆11Mar 31, 2021Updated 5 years ago
Alternatives and similar repositories for lambda
Users that are interested in lambda are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple Concurrent Queue implementation in C++ using pthreads☆12Apr 23, 2020Updated 6 years ago
- Doggo Browser☆12May 28, 2021Updated 5 years ago
- Immediate TUI library prototype☆10Jun 7, 2021Updated 5 years ago
- A musical puzzle game☆19Mar 3, 2017Updated 9 years ago
- Source code of my resume☆11Jan 27, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Emacs Major Mode for Umka Programming Language☆22Nov 2, 2025Updated last year
- CLI tool for manipulating source code TODOs☆37Mar 4, 2018Updated 8 years ago
- A GDB frontend for Linux.☆23Mar 1, 2025Updated last year
- ☆15Dec 19, 2022Updated 3 years ago
- My Solutions for Advent of Code 2023☆23Dec 2, 2023Updated 2 years ago
- Voronoi Diagram implementation☆10Aug 3, 2019Updated 7 years ago
- Don't fudge up production with extra prints, import debug, or pdb.set_trace☆13Nov 9, 2018Updated 7 years ago
- Lдтiи-Cyгillic lффк-дliкё cндгдcтёгs sцбsтiтцтiфи dдтдбдsё☆10Aug 3, 2019Updated 7 years ago
- A multi AI integration system that started as curiosity and became a solid foundation for understanding modern AI development☆15Nov 29, 2025Updated 11 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆12Jan 27, 2026Updated 9 months ago
- Simple File Diff Tool in Python☆58Feb 20, 2023Updated 3 years ago
- Solutions for five programming problems every Software Engineer should be able to solve in less than 1 hour☆40May 12, 2015Updated 11 years ago
- an alternative icon font for the web☆14Nov 10, 2017Updated 8 years ago
- Kakoune integration with the plan9port plumber☆12May 24, 2021Updated 5 years ago
- rexim's personal website☆36Oct 17, 2026Updated 2 weeks ago
- Self Driving Car Projects☆11Dec 23, 2016Updated 9 years ago
- Stream and slice data☆17Mar 10, 2019Updated 7 years ago
- ⚡ Fast, minimal & developer-first Golang web framework | Built for speed & simplicity☆13Oct 4, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Simple Parallel XKCD indexer☆12Sep 7, 2020Updated 6 years ago
- ☆13May 16, 2018Updated 8 years ago
- Node.js client for Google Cloud Video Intelligence: Search and discover your media content.☆13Sep 11, 2019Updated 7 years ago
- Клон одноименной библиотеки антимата с google-code☆13Nov 14, 2018Updated 7 years ago
- Python validation for Lex. AWS Chatbot Hackathon 2017☆11Jul 15, 2017Updated 9 years ago
- Identity herding with OAuth☆13Oct 13, 2012Updated 14 years ago
- Formally verified JSON parser☆15Sep 27, 2017Updated 9 years ago
- ☆19Updated this week
- alpha-grade whitespace toolchain☆11Aug 5, 2025Updated last year
- 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.
- Simple C mode for Emacs☆201Jan 9, 2026Updated 9 months ago
- A website design with lots of waves, curves, a blobs☆13Sep 6, 2021Updated 5 years ago
- Simple Implement of Tetris Game in Jai☆25May 18, 2022Updated 4 years ago
- Just another discord rich presence☆11Jan 18, 2026Updated 9 months ago
- Because passing callbacks down the component tree is a pain.☆24Mar 18, 2018Updated 8 years ago
- submit pull request, git free sticker 🔥☆13Mar 29, 2023Updated 3 years ago
- AI Agent with comprehensive observability using LangGraph, CrewAI, and Langfuse☆11Dec 4, 2025Updated 10 months ago