toadharvard / LambadaLinks
Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies
☆17Updated 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☆11Updated 2 years ago
- Telegram bot for me and my friends, which helps us to order cocktails and other things at our parties.☆178Updated 10 months ago
- Конспекты по разным предметам первого потока ИСy27 университета ИТМО☆123Updated this week
- xd☆69Updated 9 months ago
- A collection of labs and homework assignments related to physics, calculus, and linear algebra. The labs offer hands-on experiments and d…☆59Updated last year
- ☆19Updated 3 weeks ago
- All my work that I did at this University.☆90Updated 4 months ago
- C++ Google Tests crossplatform project template with CI/CD. Has a shell installation script.☆14Updated last month
- 📜 Guide for 2nd year ITMO VT students / Гайд для студентов 2 курса ИТМО ВТ☆34Updated 5 months ago
- Study materials☆99Updated 9 months ago
- ITMO labs☆29Updated 2 years ago
- ITMO CT C++ course notes☆151Updated 2 months ago
- 🎓 Учебные материалы и лабораторные работы направления СППО (ПИиКТ) ИТМО, 2022-2026☆246Updated last week
- ☆43Updated 6 months ago
- Всё, что я напрограммировал за время обучения на кафедре 806 МАИ☆32Updated 5 months ago
- Coding Theory course at ITMO University☆13Updated 2 years ago
- Все лабы и отчеты кафедры ВТ (СППО) Университета ИТМО☆137Updated 2 years ago
- ☆35Updated last year
- Конспекты КТ ИТМО 36 y2020☆30Updated 3 years ago
- Guide for 1st year ITMO VT students / Гайд для студентов 1 курса ИТМО ВТ☆125Updated last year
- Slides and tasks for theory of formal languages course BMSTU IU9 (comments&issues in Russian)☆61Updated 3 weeks ago
- ☆50Updated last year
- Inline mode bot designed for gambling in ITMO☆26Updated 6 months ago
- ☆108Updated last year
- Решаю алгоритмические задачки с leetcode, аналоги которых дают на собеседовании в yandex☆33Updated 2 years ago
- all my works from MAI☆24Updated 3 years ago
- Preparing for Yandex technical interview.☆67Updated 4 years ago
- Laboratory problems and solutions for the ITMO course "Algorithms and data structures"☆85Updated 5 years ago
- ☆16Updated 2 years ago
- Конспект по курсу "Базы данных" | ИС - 2 курс - 4 семестр☆49Updated 2 years ago