Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies
☆17May 10, 2024Updated last year
Alternatives and similar repositories for Lambada
Users that are interested in Lambada are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- trees-4 created by GitHub Classroom☆10Jul 6, 2023Updated 2 years ago
- ☆11Nov 1, 2024Updated last year
- ☆19Oct 31, 2025Updated 5 months ago
- graphs-graph-10 created by GitHub Classroom☆19Jul 30, 2024Updated last year
- CPS examples☆19Sep 7, 2025Updated 7 months 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.
- Python infrastructure to train paths selectors for symbolic execution engines.☆14Apr 1, 2026Updated last week
- Ghidra plugin that adds a window showing the high P-code for the current function.☆19Mar 11, 2023Updated 3 years ago
- A simple dnSpy extension for easily renaming members.☆20May 27, 2023Updated 2 years ago
- A website for generating Magic: The Gathering cards using OpenAI and then rendering them beautifully with CSS.☆16Oct 12, 2025Updated 5 months ago
- open-source Pregel implementation with optimizations to reduce communication cost and eliminate skewness in communication.☆19Jun 10, 2019Updated 6 years ago
- ☆22Dec 19, 2024Updated last year
- ☆19Dec 14, 2024Updated last year
- Kotlin/Java API for various SMT solvers☆37Oct 8, 2025Updated 6 months ago
- Cute network emulation web-app for self-education and classes (based on mininet).☆65Apr 1, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Tool for creating optimally sized databases (containing the minimum number of frames covering the scene) for place recognition task from …☆28Jul 26, 2023Updated 2 years ago
- Latex шаблон текста для квалификационных работ☆48Nov 20, 2025Updated 4 months ago
- Redirect Chrome's New-Tab URL☆46Sep 25, 2023Updated 2 years ago
- Framework for aerial imagery localization using different VPR systems☆77Nov 28, 2024Updated last year
- Supporting material for some courses of SE chair and HSE "Applied Mathematics and Information Science" programme☆124Updated this week
- Explyt Spring is a free, source-available plugin for IntelliJ IDEA Community Edition, designed to simplify and improve development with t…☆127Updated this week
- Filters for uBlock Origin☆116Apr 2, 2026Updated last week
- My personal dotfiles for NixOS, Arch, Windows, and Android.☆103Apr 2, 2026Updated last week
- A formatter to make your CMake code the real treasure☆311Mar 13, 2026Updated 3 weeks ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Automated unit test generation and precise code analysis for Java☆144Oct 27, 2025Updated 5 months ago
- A language server for Standard ML.☆240Mar 25, 2026Updated 2 weeks ago
- Working code for the Design Patterns book from the Gang of Four.☆287Jun 11, 2024Updated last year
- The AI to keep you focused 😈☆415Feb 20, 2025Updated last year
- The code from my 12 hour live stream where I created a tower defense game with pygame.☆399Oct 17, 2024Updated last year
- Golang programming course☆465May 20, 2025Updated 10 months ago
- A python fast implementation of the famous SVD algorithm popularized by Simon Funk during Netflix Prize☆229Jul 4, 2022Updated 3 years ago
- FastAPI-HTMX Demo Project☆270Jan 15, 2024Updated 2 years ago
- Reinforcement learning theory book about foundations of deep RL algorithms with proofs.☆344Jun 6, 2025Updated 10 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ThreadLocal for Golang.☆289Nov 21, 2025Updated 4 months ago
- IT internships in Russia 🇷🇺☆451Mar 18, 2024Updated 2 years ago
- a open-source Artificial Intelligence Virtual Youtuber (AI VTuber), (this project is deprecated)☆440Apr 10, 2025Updated 11 months ago
- Titan is a VMProtect devirtualizer☆125Mar 6, 2024Updated 2 years ago
- Tutorials and Cheatsheet for Jai, written by its community☆418Mar 31, 2026Updated last week
- Android Testing With Kotlin☆445Jan 11, 2018Updated 8 years ago
- 🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types☆545Dec 17, 2024Updated last year