toadharvard / Lambada
Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies
☆17Updated 9 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.☆190Updated 3 weeks ago
- Python module for change point detection in a time series with experimental environment☆9Updated this week
- ☆18Updated this week
- ☆11Updated 3 months ago
- ITMO labs☆26Updated last year
- ☆19Updated last year
- IT internships in Russia 🇷🇺☆437Updated 11 months ago
- LeetCode frequently asked questions☆220Updated 2 years ago
- Android application for department navigation☆33Updated 2 weeks ago
- ITMO CT C++ course notes☆131Updated last month
- Coding Theory course at ITMO University☆11Updated 2 years ago
- Материалы по курсу Алгебры на ФКН ПИ☆43Updated 2 years ago
- ☆18Updated 11 months ago
- Spring Boot Unit testing and Integration testing☆24Updated 2 years ago
- Summaries for 1st year lectures @ AMI HSE SPb☆54Updated 2 years ago
- Конспекты КТ ИТМО 36 y2020☆31Updated 3 years ago
- graphs-graph-10 created by GitHub Classroom☆19Updated 6 months ago
- Конспекты М3*37 2019 года☆76Updated this week
- Материалы по направлению "Технологии программирования" в СПбГУ. Materials on the "Technology programming" direction at SPbU☆11Updated last year
- ☆92Updated 3 weeks ago
- ITMO CT M3x38 conspects☆20Updated last month
- 😎 Материалы для успешного прохождения курсов на Бакалаврской программе «Программная инженерия» ФКН НИУ ВШЭ☆90Updated 2 years ago
- Supporting material for some courses of SE chair and HSE "Applied Mathematics and Information Science" programme☆105Updated this week
- Собрание материалов, наработанных во время учёбы на КТ ИТМО, M3*36 y2021☆16Updated 8 months ago
- Preparing for Yandex technical interview.☆59Updated 3 years ago
- HSE summaries since second year of studying (2022+)☆15Updated last year
- ☆16Updated last year
- Laboratory solutions for the course "Algorithms and Data Structures", y2022-2024☆11Updated 5 months ago
- ☆11Updated 8 months ago