Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies
☆16May 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 2 years ago
- ☆11Nov 1, 2024Updated last year
- ☆18Oct 31, 2025Updated 7 months ago
- graphs-graph-10 created by GitHub Classroom☆19Jul 30, 2024Updated last year
- Android application for department navigation☆40May 31, 2026Updated last week
- 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.
- CPS examples☆21Sep 7, 2025Updated 9 months ago
- Python infrastructure to train paths selectors for symbolic execution engines.☆15Updated this week
- Python module for change point detection in a time series with experimental environment☆12Apr 19, 2026Updated last month
- Telegram bot for me and my friends, which helps us to order cocktails and other things at our parties.☆176Jan 24, 2025Updated last year
- Ghidra plugin that adds a window showing the high P-code for the current function.☆19Mar 11, 2023Updated 3 years ago
- open-source Pregel implementation with optimizations to reduce communication cost and eliminate skewness in communication.☆20Jun 10, 2019Updated 6 years ago
- SLAM on Voxel Alignment☆12May 21, 2024Updated 2 years ago
- ☆22Dec 19, 2024Updated last year
- ☆19Dec 14, 2024Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A toy implementation of the bitcoin protocol in ocaml.☆35Dec 15, 2015Updated 10 years ago
- An open-source generalized sparse linear algebra library with vendor-agnostic GPUs accelerated computations☆33Mar 26, 2026Updated 2 months ago
- Kotlin/Java API for various SMT solvers☆39Oct 8, 2025Updated 8 months ago
- Write your own river layout generator in lua☆42Jan 16, 2025Updated last year
- Tool for creating optimally sized databases (containing the minimum number of frames covering the scene) for place recognition task from …☆29Jul 26, 2023Updated 2 years ago
- Translate YouTube captions using Deepl API☆20Oct 30, 2020Updated 5 years ago
- Latex шаблон текста для квалификационных работ☆54Nov 20, 2025Updated 6 months ago
- Redirect Chrome's New-Tab URL☆46Sep 25, 2023Updated 2 years ago
- Supporting material for some courses of SE chair and HSE "Applied Mathematics and Information Science" programme☆126May 31, 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.
- ITMO/CTD notes, y2013 🇺🇦☆71Mar 29, 2019Updated 7 years ago
- Explyt Spring is a free, source-available plugin for IntelliJ IDEA Community Edition, designed to simplify and improve development with t…☆139Updated this week
- A formatter to make your CMake code the real treasure☆329May 27, 2026Updated last week
- Automated unit test generation and precise code analysis for Java☆146Oct 27, 2025Updated 7 months ago
- A language server for Standard ML.☆248Apr 12, 2026Updated last month
- Working code for the Design Patterns book from the Gang of Four.☆287Jun 11, 2024Updated last year
- The AI to keep you focused 😈☆413Feb 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☆471May 20, 2025Updated last year
- 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.
- FastAPI-HTMX Demo Project☆271Jan 15, 2024Updated 2 years ago
- Reinforcement learning theory book about foundations of deep RL algorithms with proofs.☆347Jun 6, 2025Updated last year
- Tutorials For Beginners For Natural Language Processing☆337Aug 10, 2024Updated last year
- The waifu2x & Other image-enlargers on Mac☆447Jun 8, 2023Updated 3 years ago
- My NLP datasets for Russian language☆389Feb 18, 2023Updated 3 years ago
- IT internships in Russia 🇷🇺☆449Mar 18, 2024Updated 2 years ago
- Arch Linux Installation and Customization Guide. This configuration uses Wayland as display protocol and Hyprland as compositor. Also inc…☆298Jun 28, 2025Updated 11 months ago