Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies
☆17May 10, 2024Updated 2 years ago
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 3 years ago
- Spring Boot Unit testing and Integration testing☆24Nov 27, 2022Updated 3 years ago
- graphs-graph-10 created by GitHub Classroom☆19Jul 30, 2024Updated last year
- ☆11Nov 1, 2024Updated last year
- ☆18Oct 31, 2025Updated 8 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- CPS examples☆21Sep 7, 2025Updated 10 months ago
- Python module for change point detection in a time series with experimental environment☆14Apr 19, 2026Updated 3 months ago
- Python infrastructure to train paths selectors for symbolic execution engines.☆15Updated this week
- Telegram bot for me and my friends, which helps us to order cocktails and other things at our parties.☆172Jan 24, 2025Updated last year
- graphs-graphs-team-4 created by GitHub Classroom☆15May 30, 2025Updated last year
- A simple dnSpy extension for easily renaming members.☆21May 27, 2023Updated 3 years ago
- Ghidra plugin that adds a window showing the high P-code for the current function.☆19Mar 11, 2023Updated 3 years ago
- ☆22Dec 19, 2024Updated last year
- open-source Pregel implementation with optimizations to reduce communication cost and eliminate skewness in communication.☆20Jun 10, 2019Updated 7 years ago
- 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.
- SLAM on Voxel Alignment☆12May 21, 2024Updated 2 years ago
- An open-source generalized sparse linear algebra library with vendor-agnostic GPUs accelerated computations☆33Mar 26, 2026Updated 3 months ago
- A toy implementation of the bitcoin protocol in ocaml.☆35Dec 15, 2015Updated 10 years ago
- ☆19Dec 14, 2024Updated last year
- Latex шаблон текста для квалификационных работ☆54Nov 20, 2025Updated 8 months ago
- Redirect Chrome's New-Tab URL☆45Sep 25, 2023Updated 2 years ago
- Gecko: a fast GLR parser with automatic syntax error recovery☆30Jun 27, 2026Updated 3 weeks ago
- Kotlin Graphviz DOT DSL☆30Mar 7, 2023Updated 3 years ago
- Universal Symbolic Virtual Machine☆30Jul 10, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Framework for aerial imagery localization using different VPR systems☆79Nov 28, 2024Updated last year
- Cute network emulation web-app for self-education and classes (based on mininet).☆69Jun 8, 2026Updated last month
- yk packages☆89Updated this week
- Telegram ↔ tmux/herdr bridge for Claude Code, Codex CLI, and Gemini CLI. Monitor output, respond to prompts, manage parallel sessions. C…☆221Jul 11, 2026Updated last week
- Filters for uBlock Origin☆123Updated this week
- Automated unit test generation and precise code analysis for Java☆146Oct 27, 2025Updated 8 months ago
- Spring Explyt — a free, source-available plugin for IntelliJ IDEA Community Edition that brings runtime-accurate Spring Framework tooling…☆154Updated this week
- The AI to keep you focused 😈☆413Feb 20, 2025Updated last year
- Working code for the Design Patterns book from the Gang of Four.☆290Jun 11, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- The code from my 12 hour live stream where I created a tower defense game with pygame.☆399Oct 17, 2024Updated last year
- A language server for Standard ML.☆250Jul 5, 2026Updated 2 weeks ago
- Tutorials For Beginners For Natural Language Processing☆339Aug 10, 2024Updated last year
- Reinforcement learning theory book about foundations of deep RL algorithms with proofs.☆349Jun 6, 2025Updated last year
- A package to evaluate factuality of long-form generation. Original implementation of our EMNLP 2023 paper "FActScore: Fine-grained Atomic…☆449Apr 13, 2025Updated last year
- ThreadLocal for Golang.☆292Updated this week
- IT internships in Russia 🇷🇺☆449Mar 18, 2024Updated 2 years ago