toadharvard / Lambada
Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies
☆16Updated 4 months ago
Related projects: ⓘ
- trees-4 created by GitHub Classroom☆11Updated last year
- ☆11Updated 2 weeks ago
- ITMO labs☆23Updated 10 months ago
- ☆10Updated 2 years ago
- A collection of labs and homework assignments related to physics, calculus, and linear algebra. The labs offer hands-on experiments and d…☆51Updated 3 months ago
- ☆20Updated 6 months ago
- Coding Theory course at ITMO University☆10Updated last year
- ITMO CT C++ course notes☆119Updated 3 months ago
- IT internships in Russia 🇷🇺☆428Updated 6 months ago
- Solutions of ADS labs☆14Updated 6 years ago
- ☆16Updated 10 months ago
- CT ITMO Tasks☆10Updated 2 years ago
- Конспекты КТ ИТМО 36 y2020☆29Updated 2 years ago
- Preparing for Yandex technical interview.☆54Updated 3 years ago
- Golang programming course☆295Updated last month
- Smart-home problem demo server binary releases☆32Updated last year
- ITMO CT M3x38 conspects☆18Updated 8 months ago
- LeetCode frequently asked questions☆221Updated 2 years ago
- ☆28Updated 9 months ago
- A repo for storing my university notes☆26Updated last year
- Study materials☆62Updated last month
- Slides and tasks for theory of formal languages course BMSTU IU9 (comments&issues in Russian)☆44Updated last week
- ☆16Updated last year
- Лабы, которыми не стыдно поделиться.☆17Updated 2 years ago
- FAQ по секте☆14Updated last year
- Шпаргалки, первый-четвертый курс ИТМО ВТ☆78Updated 3 years ago
- Конспекты теории с лекций, набранные в tex.☆34Updated last year
- Laboratory problems and solutions for the ITMO course "Algorithms and data structures"☆72Updated 4 years ago
- Материалы по курсу Алгебры на ФКН ПИ☆39Updated 2 years ago
- ☆11Updated this week