toadharvard / Lambada
Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies
☆16Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for Lambada
- trees-4 created by GitHub Classroom☆11Updated last year
- ☆10Updated 3 weeks ago
- IT internships in Russia 🇷🇺☆436Updated 8 months ago
- ☆16Updated this week
- A collection of labs and homework assignments related to physics, calculus, and linear algebra. The labs offer hands-on experiments and d…☆51Updated 5 months ago
- Preparing for Yandex technical interview.☆58Updated 3 years ago
- Всё, что я напрограммировал за время обучения на кафедре 806 МАИ☆27Updated 5 months ago
- Лабы, которыми не стыдно поделиться.☆17Updated 2 years ago
- HSE summaries since second year of studying (2022+)☆15Updated last year
- Материалы по курсу Алгебры на ФКН ПИ☆42Updated 2 years ago
- ITMO CT C++ course notes☆125Updated 5 months ago
- LeetCode frequently asked questions☆221Updated 2 years ago
- Coding Theory course at ITMO University☆11Updated last year
- ITMO labs☆27Updated last year
- Smart-home problem demo server binary releases☆32Updated last year
- ☆19Updated last year
- Конспекты КТ ИТМО 36 y2020☆30Updated 2 years ago
- Репозиторий для конспектов☆10Updated 5 months ago
- All my work that I did at this University.☆69Updated 3 months ago
- all my works from MAI☆24Updated 2 years ago
- Шпаргалки, первый-четвертый курс ИТМО ВТ☆81Updated 3 years ago
- ☆22Updated this week
- ☆24Updated last year
- Golang programming course☆315Updated 3 months ago
- ☆7Updated 7 months ago
- Free help in preparation.☆83Updated 2 years ago
- ☆32Updated 7 months ago
- Slides and tasks for theory of formal languages course BMSTU IU9 (comments&issues in Russian)☆51Updated last month
- Путеводитель по факультету ИКТ☆23Updated last year