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
- graphs-graph-10 created by GitHub Classroom☆19Jul 30, 2024Updated 2 years ago
- ☆11Nov 1, 2024Updated last year
- ☆18Oct 31, 2025Updated 9 months ago
- CPS examples☆20Sep 7, 2025Updated 11 months ago
- 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.
- Python module for change point detection in a time series with experimental environment☆14Apr 19, 2026Updated 3 months ago
- Telegram bot for me and my friends, which helps us to order cocktails and other things at our parties.☆171Jan 24, 2025Updated last year
- A simple dnSpy extension for easily renaming members.☆21May 27, 2023Updated 3 years ago
- ☆22Dec 19, 2024Updated last year
- A website for generating Magic: The Gathering cards using OpenAI and then rendering them beautifully with CSS.☆16Oct 12, 2025Updated 10 months ago
- A toy implementation of the bitcoin protocol in ocaml.☆35Dec 15, 2015Updated 10 years ago
- ☆19Dec 14, 2024Updated last year
- Tool for creating optimally sized databases (containing the minimum number of frames covering the scene) for place recognition task from …☆28Jul 26, 2023Updated 3 years ago
- Translate YouTube captions using Deepl API☆20Oct 30, 2020Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Latex шаблон текста для квалификационных работ☆54Nov 20, 2025Updated 8 months ago
- Redirect Chrome's New-Tab URL☆46Sep 25, 2023Updated 2 years ago
- Gecko: a fast GLR parser with automatic syntax error recovery☆30Jul 31, 2026Updated last week
- Kotlin Graphviz DOT DSL☆30Mar 7, 2023Updated 3 years ago
- Framework for aerial imagery localization using different VPR systems☆79Nov 28, 2024Updated last year
- ITMO/CTD notes, y2013 🇺🇦☆71Mar 29, 2019Updated 7 years ago
- A simple, indirect-threaded Forth, written in C; for target compiling; runs on Linux, BSD, OSX, and Cygwin☆157Jul 16, 2026Updated 3 weeks ago
- Automated unit test generation and precise code analysis for Java☆146Oct 27, 2025Updated 9 months ago
- The AI to keep you focused 😈☆415Feb 20, 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.
- Working code for the Design Patterns book from the Gang of Four.☆291Jun 11, 2024Updated 2 years ago
- A language server for Standard ML.☆253Jul 5, 2026Updated last month
- A formatter to make your CMake code the real treasure☆340Aug 4, 2026Updated last week
- Tutorials For Beginners For Natural Language Processing☆341Aug 10, 2024Updated 2 years ago
- Reinforcement learning theory book about foundations of deep RL algorithms with proofs.☆349Jun 6, 2025Updated last year
- A python fast implementation of the famous SVD algorithm popularized by Simon Funk during Netflix Prize☆231Jul 4, 2022Updated 4 years ago
- FastAPI-HTMX Demo Project☆273Jan 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…☆454Apr 13, 2025Updated last year
- ThreadLocal for Golang.☆291Jul 31, 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.
- The waifu2x & Other image-enlargers on Mac☆449Jun 8, 2023Updated 3 years ago
- a open-source Artificial Intelligence Virtual Youtuber (AI VTuber), (this project is deprecated)☆438Apr 10, 2025Updated last year
- The Kaffe Virtual Machine☆439Jan 2, 2020Updated 6 years ago
- Titan is a VMProtect devirtualizer☆149Mar 6, 2024Updated 2 years ago
- Browser extension to add git graph to GitHub website.☆5,865Jul 25, 2026Updated 2 weeks ago
- Tutorials and Cheatsheet for Jai, written by its community☆461Mar 31, 2026Updated 4 months ago
- Android Testing With Kotlin☆444Jan 11, 2018Updated 8 years ago