A very shitty lambda calculus.
☆16Jan 17, 2025Updated last year
Alternatives and similar repositories for lamb
Users that are interested in lamb are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lambda Calculus parser and interpreter made in TypeScript's type system☆14May 24, 2024Updated last year
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆16Feb 16, 2026Updated last month
- The cutest multipurpose Discord bot. Mirrored from https://orangc.net/g/takina☆16Mar 16, 2026Updated last week
- An Android app to manage your self-hosted zipline V4 instance.☆15Mar 16, 2026Updated last week
- 🎊 An Nginx redirector and proxier for all of Hack Club's needs!☆59Jan 31, 2025Updated last year
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆26Dec 16, 2020Updated 5 years ago
- Generate PHP code from Rust using a fluent API 🐘 🦀☆16Aug 13, 2024Updated last year
- MultiMedia File Manager☆14Sep 24, 2024Updated last year
- Time tracking for any IDE with WakaTime-like servers☆30Dec 21, 2024Updated last year
- HCB Wrapped 2022☆12Nov 13, 2023Updated 2 years ago
- Zig uuidv4 implementation without allocations☆11Dec 4, 2024Updated last year
- Effortlessly use RabbitMQ in Nodejs.☆24Jan 27, 2022Updated 4 years ago
- Hack Club's Hall Of Fame☆11Jul 22, 2021Updated 4 years ago
- Share the things you're working on every day!☆14May 6, 2022Updated 3 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Go汇编语言简介☆13Aug 14, 2024Updated last year
- Slightly evil password strength checker☆11Dec 30, 2024Updated last year
- lu, an opinionated `ls` with the best features by default.☆15Sep 21, 2021Updated 4 years ago
- A miniature model of the Typescript compiler☆34Jun 28, 2024Updated last year
- Code and demos for Reconstructing TypeScript blog posts.☆35Mar 6, 2023Updated 3 years ago
- The server running our tv screen during checkins. Intentionally hackable so attendees could customize it as they entered the venue.☆12Aug 8, 2022Updated 3 years ago
- Low-code framework for building admin platforms☆12Aug 1, 2022Updated 3 years ago
- 📊 GitHub activity stats you haven't seen before☆13Oct 4, 2024Updated last year
- the dna of the soul☆17Jun 13, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Yet Another URL Shortner☆11Jul 31, 2024Updated last year
- Web of the site☆11Feb 22, 2022Updated 4 years ago
- Additional 3rd party software used in Playbit. See playbit/public for most 3rd party software☆12Jul 14, 2025Updated 8 months ago
- A LLVM-based compiled language.☆12Oct 13, 2020Updated 5 years ago
- 🦘Websites upside down for those down under!☆13Nov 20, 2021Updated 4 years ago
- BiReader allows for users to enable easier reading on ANY website through emphasis of the start of words -- derived from the work of Bion…☆14Jul 24, 2022Updated 3 years ago
- ☆16May 19, 2022Updated 3 years ago
- Store your latest thoughts, ideas, or random things that pop into your head.☆14Oct 3, 2021Updated 4 years ago
- GHC language extensions table☆49Aug 8, 2025Updated 7 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- OpenPix Plugin Demo using React☆13Jan 8, 2025Updated last year
- An async allocator with Fun™️ unsafe Rust☆17Jun 4, 2023Updated 2 years ago
- ✅ Аutomation of routine tasks on a new server for humans. Only verified configs and best practices. Just git clone and run it!☆12Sep 30, 2020Updated 5 years ago
- Automated workflow on N8N + Woovi☆14Jan 4, 2026Updated 2 months ago
- Application security made easy☆14Mar 20, 2022Updated 4 years ago
- OpenPix/Woovi Java SDK☆10Jul 25, 2024Updated last year
- ☆41Nov 19, 2024Updated last year