Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies
☆17May 10, 2024Updated last year
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 5 months ago
- graphs-graph-10 created by GitHub Classroom☆19Jul 30, 2024Updated last year
- CPS examples☆20Sep 7, 2025Updated 7 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Python infrastructure to train paths selectors for symbolic execution engines.☆15Updated this week
- graphs-graphs-team-4 created by GitHub Classroom☆15May 30, 2025Updated 10 months ago
- Ghidra plugin that adds a window showing the high P-code for the current function.☆19Mar 11, 2023Updated 3 years ago
- A website for generating Magic: The Gathering cards using OpenAI and then rendering them beautifully with CSS.☆16Oct 12, 2025Updated 6 months ago
- open-source Pregel implementation with optimizations to reduce communication cost and eliminate skewness in communication.☆19Jun 10, 2019Updated 6 years ago
- ☆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
- Kotlin/Java API for various SMT solvers☆38Oct 8, 2025Updated 6 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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 …☆28Jul 26, 2023Updated 2 years ago
- Latex шаблон текста для квалификационных работ☆49Nov 20, 2025Updated 5 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☆125Updated this week
- Filters for uBlock Origin☆117Updated this week
- My personal dotfiles for NixOS, Arch, Windows, and Android.☆105Apr 11, 2026Updated 2 weeks ago
- Automated unit test generation and precise code analysis for Java☆144Oct 27, 2025Updated 6 months ago
- A language server for Standard ML.☆245Apr 12, 2026Updated 2 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- The AI to keep you focused 😈☆413Feb 20, 2025Updated last year
- Golang programming course☆467May 20, 2025Updated 11 months ago
- 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☆269Jan 15, 2024Updated 2 years ago
- ThreadLocal for Golang.☆290Nov 21, 2025Updated 5 months ago
- My freqtrade strategies☆238Jul 11, 2021Updated 4 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…☆295Jun 28, 2025Updated 10 months ago
- Titan is a VMProtect devirtualizer☆129Mar 6, 2024Updated 2 years ago
- 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.
- Tutorials and Cheatsheet for Jai, written by its community☆426Mar 31, 2026Updated 3 weeks ago
- Telegram Bot API library for Go☆1,008Updated this week
- 🟣 LLMs interview questions and answers to help you prepare for your next machine learning and data science interview in 2026.☆964Feb 17, 2026Updated 2 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…☆498Aug 19, 2024Updated last year
- Some of my publicly available Malware analysis and Reverse engineering.☆950Jun 3, 2024Updated last year
- Building modern, elegant and fast desktop Compose applications☆645Updated this week
- x86 C compiler written in untyped lambda calculus☆683Oct 7, 2022Updated 3 years ago