toadharvard / Lambada
Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies
☆19Updated 10 months ago
Alternatives and similar repositories for Lambada:
Users that are interested in Lambada are comparing it to the libraries listed below
- trees-4 created by GitHub Classroom☆11Updated last year
- Telegram bot for me and my friends, which helps us to order cocktails and other things at our parties.☆188Updated 2 months ago
- Python module for change point detection in a time series with experimental environment☆10Updated this week
- ☆18Updated this week
- ☆11Updated 4 months ago
- ITMO labs☆27Updated last year
- IT internships in Russia 🇷🇺☆437Updated last year
- Laboratory solutions for the course "Algorithms and Data Structures", y2022-2024☆11Updated 6 months ago
- Собрание материалов, наработанных во время учёбы на КТ ИТМО, M3*36 y2021☆15Updated 10 months ago
- ITMO CT M3x38 conspects☆20Updated 2 weeks ago
- ☆18Updated last year
- A collection of labs and homework assignments related to physics, calculus, and linear algebra. The labs offer hands-on experiments and d…☆56Updated 9 months ago
- FAQ по секте☆15Updated 2 years ago
- graphs-graph-10 created by GitHub Classroom☆19Updated 7 months ago
- Конспекты КТ ИТМО 36 y2020☆29Updated 3 years ago
- Coding Theory course at ITMO University☆11Updated 2 years ago
- Computer networks course samples☆5Updated this week
- ☆25Updated 3 months ago
- ☆13Updated 3 months ago
- xd☆63Updated last month
- ☆19Updated last year
- Android application for department navigation☆35Updated last month
- ☆10Updated 2 years ago
- Supporting material for some courses of SE chair and HSE "Applied Mathematics and Information Science" programme☆105Updated this week
- ☆38Updated this week
- Study materials☆78Updated last month
- Golang programming course☆358Updated this week
- Репозиторий для конспектов☆9Updated 9 months ago
- Laboratory problems and solutions for the ITMO course "Algorithms and data structures"☆84Updated 5 years ago
- Конспект по курсу "Базы данных" | ИС - 2 курс - 4 семестр☆50Updated last year