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
- ☆19Oct 31, 2025Updated 6 months ago
- graphs-graph-10 created by GitHub Classroom☆19Jul 30, 2024Updated last year
- CPS examples☆20Sep 7, 2025Updated 8 months ago
- AI Agents on 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.☆15May 12, 2026Updated last week
- Python module for change point detection in a time series with experimental environment☆12Apr 19, 2026Updated last month
- graphs-graphs-team-4 created by GitHub Classroom☆15May 30, 2025Updated 11 months ago
- 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
- SLAM on Voxel Alignment☆12May 21, 2024Updated last year
- ☆22Dec 19, 2024Updated last year
- ☆19Dec 14, 2024Updated last year
- A toy implementation of the bitcoin protocol in ocaml.☆35Dec 15, 2015Updated 10 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.
- An open-source generalized sparse linear algebra library with vendor-agnostic GPUs accelerated computations☆33Mar 26, 2026Updated last month
- Kotlin/Java API for various SMT solvers☆40Oct 8, 2025Updated 7 months ago
- Cute network emulation web-app for self-education and classes (based on mininet).☆67Updated this week
- Write your own river layout generator in lua☆42Jan 16, 2025Updated last year
- Translate YouTube captions using Deepl API☆20Oct 30, 2020Updated 5 years ago
- Latex шаблон текста для квалификационных работ☆51Nov 20, 2025Updated 6 months ago
- Redirect Chrome's New-Tab URL☆46Sep 25, 2023Updated 2 years ago
- Kotlin Graphviz DOT DSL☆30Mar 7, 2023Updated 3 years ago
- Supporting material for some courses of SE chair and HSE "Applied Mathematics and Information Science" programme☆125May 5, 2026Updated 2 weeks ago
- 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.
- ITMO/CTD notes, y2013 🇺🇦☆71Mar 29, 2019Updated 7 years ago
- The world's first feminist programming language.☆198Apr 19, 2021Updated 5 years ago
- Filters for uBlock Origin☆117May 11, 2026Updated last week
- Automated unit test generation and precise code analysis for Java☆144Oct 27, 2025Updated 6 months ago
- Golang programming course☆470May 20, 2025Updated last year
- 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☆271Jan 15, 2024Updated 2 years ago
- A package to evaluate factuality of long-form generation. Original implementation of our EMNLP 2023 paper "FActScore: Fine-grained Atomic…☆436Apr 13, 2025Updated last year
- Tutorials For Beginners For Natural Language Processing☆335Aug 10, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- The waifu2x & Other image-enlargers on Mac☆447Jun 8, 2023Updated 2 years ago
- IT internships in Russia 🇷🇺☆450Mar 18, 2024Updated 2 years ago
- Arch Linux Installation and Customization Guide. This configuration uses Wayland as display protocol and Hyprland as compositor. Also inc…☆296Jun 28, 2025Updated 10 months ago
- Tutorials and Cheatsheet for Jai, written by its community☆429Mar 31, 2026Updated last month
- Android Testing With Kotlin☆445Jan 11, 2018Updated 8 years ago
- 🟣 LLMs interview questions and answers to help you prepare for your next machine learning and data science interview in 2026.☆971Feb 17, 2026Updated 3 months ago
- L.A. Noire - V Patch | A community-made open source patch for the 2011's video game L.A. Noire containing a set of fixes like an unlocked…☆506Aug 19, 2024Updated last year