Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies
☆18Sep 5, 2026Updated last month
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
- graphs-graph-10 created by GitHub Classroom☆19Jul 30, 2024Updated 2 years ago
- ☆11Nov 1, 2024Updated 2 years ago
- ☆18Oct 31, 2025Updated last year
- CPS examples☆20Sep 7, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Python infrastructure to train paths selectors for symbolic execution engines.☆16Updated this week
- Telegram bot for me and my friends, which helps us to order cocktails and other things at our parties.☆167Jan 24, 2025Updated last year
- graphs-graphs-team-4 created by GitHub Classroom☆14May 30, 2025Updated last year
- A dataset of around 100 Russian novels for stylometric experiments☆15Mar 19, 2019Updated 7 years ago
- Ghidra plugin that adds a window showing the high P-code for the current function.☆19Mar 11, 2023Updated 3 years ago
- SLAM on Voxel Alignment☆12May 21, 2024Updated 2 years ago
- A website for generating Magic: The Gathering cards using OpenAI and then rendering them beautifully with CSS.☆16Oct 12, 2025Updated last year
- open-source Pregel implementation with optimizations to reduce communication cost and eliminate skewness in communication.☆21Jun 10, 2019Updated 7 years ago
- An open-source generalized sparse linear algebra library with vendor-agnostic GPUs accelerated computations☆36Oct 21, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆19Dec 14, 2024Updated last year
- Attempt at creating an architecture agnostic jit library, heavily inspired by copy-and-patch.☆19Jun 23, 2024Updated 2 years ago
- Translate YouTube captions using Deepl API☆19Oct 30, 2020Updated 6 years ago
- Redirect Chrome's New-Tab URL☆46Sep 25, 2023Updated 3 years ago
- Latex шаблон текста для квалификационных работ☆58Nov 20, 2025Updated 11 months ago
- Gecko: a fast GLR parser with automatic syntax error recovery☆32Jul 31, 2026Updated 3 months ago
- Universal Symbolic Virtual Machine☆33Updated this week
- Framework for aerial imagery localization using different VPR systems☆81Nov 28, 2024Updated last year
- Supporting material for some courses of SE chair and HSE "Applied Mathematics and Information Science" programme☆126Oct 20, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- yk packages☆95Updated this week
- Teaching language LaMa for a compiler course☆82Updated this week
- Telegram ↔ tmux/herdr/agterm bridge for Claude Code, Codex CLI, and Pi Agent. Monitor output, respond to prompts, manage parallel session…☆284Updated this week
- Filters for uBlock Origin☆125Updated this week
- My personal dotfiles for NixOS, Arch, Windows, and Android.☆105Oct 24, 2026Updated last week
- A simple, indirect-threaded Forth, written in C; for target compiling; runs on Linux, BSD, OSX, and Cygwin☆162Oct 3, 2026Updated last month
- The code from my 12 hour live stream where I created a tower defense game with pygame.☆407Oct 17, 2024Updated 2 years ago
- Spring Explyt — free, open-source (Apache-2.0) Spring & Spring Boot plugin that brings Ultimate-grade tooling to IntelliJ IDEA Community …☆166Updated this week
- Working code for the Design Patterns book from the Gang of Four.☆291Jun 11, 2024Updated 2 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.
- Automated unit test generation and precise code analysis for Java☆147Oct 27, 2025Updated last year
- The AI to keep you focused 😈☆415Feb 20, 2025Updated last year
- SuiteSparse graph algorithms in the language of linear algebra. For production: (default) STABLE branch. Code development: ask me for t…☆436Updated this week
- A list of technologies similar to inner Yandex technologies☆172Jul 15, 2024Updated 2 years ago
- A language server for Standard ML.☆258Oct 23, 2026Updated last week
- A python fast implementation of the famous SVD algorithm popularized by Simon Funk during Netflix Prize☆230Jul 4, 2022Updated 4 years ago
- IT internships in Russia 🇷🇺☆452Mar 18, 2024Updated 2 years ago