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
Sorting:
- trees-4 created by GitHub Classroom☆10Jul 6, 2023Updated 2 years ago
- ☆11Nov 1, 2024Updated last year
- ☆19Oct 31, 2025Updated 4 months ago
- graphs-graph-10 created by GitHub Classroom☆19Jul 30, 2024Updated last year
- Android application for department navigation☆39Sep 19, 2025Updated 6 months ago
- CPS examples☆19Sep 7, 2025Updated 6 months ago
- Python infrastructure to train paths selectors for symbolic execution engines.☆14Updated this week
- Python module for change point detection in a time series with experimental environment☆12Nov 10, 2025Updated 4 months ago
- graphs-graphs-team-4 created by GitHub Classroom☆15May 30, 2025Updated 9 months ago
- ☆22Dec 19, 2024Updated last year
- Kotlin/Java API for various SMT solvers☆37Oct 8, 2025Updated 5 months ago
- An open-source generalized sparse linear algebra library with vendor-agnostic GPUs accelerated computations☆31Nov 17, 2025Updated 4 months ago
- Cute network emulation web-app for self-education and classes (based on mininet).☆62Mar 13, 2026Updated last week
- 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 шаблон текста для квалификационных работ☆47Nov 20, 2025Updated 4 months ago
- Supporting material for some courses of SE chair and HSE "Applied Mathematics and Information Science" programme☆123Updated this week
- ITMO/CTD notes, y2013 🇺🇦☆71Mar 29, 2019Updated 6 years ago
- My personal dotfiles for NixOS, Arch, Windows, and Android.☆103Mar 7, 2026Updated last week
- Automated unit test generation and precise code analysis for Java☆144Oct 27, 2025Updated 4 months ago
- The code from my 12 hour live stream where I created a tower defense game with pygame.☆398Oct 17, 2024Updated last year
- FastAPI-HTMX Demo Project☆269Jan 15, 2024Updated 2 years ago
- ThreadLocal for Golang.☆287Nov 21, 2025Updated 3 months ago
- My freqtrade strategies☆238Jul 11, 2021Updated 4 years ago
- My NLP datasets for Russian language☆386Feb 18, 2023Updated 3 years ago
- IT internships in Russia 🇷🇺☆452Mar 18, 2024Updated 2 years ago
- Arch Linux Installation and Customization Guide. This configuration uses Wayland as display protocol and Hyprland as compositor. Also inc…☆294Jun 28, 2025Updated 8 months ago
- Titan is a VMProtect devirtualizer☆121Mar 6, 2024Updated 2 years ago
- 🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types☆546Dec 17, 2024Updated last year
- Advanced VM detection library and tool☆1,061Mar 12, 2026Updated last week
- Ease OAuth2 / OpenID in Spring RESTful backends☆662Mar 10, 2026Updated last week
- IDA Pro plugin with a rich set of features: decryption, deobfuscation, patching, lib code recognition and various pseudocode transformati…☆1,765Updated this week
- A fast linearizability checker written in Go 🔎☆1,157Updated this week
- C++ programmer's guide to undefined behavior☆1,534Jan 24, 2026Updated last month
- LaTeX template for my personal resume☆2,490Aug 10, 2024Updated last year
- Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)☆1,768Jan 15, 2026Updated 2 months ago
- Reads and writes .NET assemblies and modules☆2,433Jan 3, 2026Updated 2 months ago
- Production-ready C++ Asynchronous Framework with rich functionality☆2,832Updated this week
- A description of Jonathan Blow's programming language, Jai☆1,877May 21, 2021Updated 4 years ago
- A RESTful Haskell web framework built on WAI.☆2,705Updated this week