toadharvard / Lambada
Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies
☆16Updated 8 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.☆191Updated 3 weeks ago
- ☆11Updated 2 months ago
- Python module for change point detection in a time series with experimental environment☆9Updated last week
- ☆17Updated last week
- Конспекты КТ ИТМО 36 y2020☆30Updated 2 years ago
- ITMO labs☆27Updated last year
- ☆18Updated 10 months ago
- ☆16Updated last year
- ITMO CT C++ course notes☆125Updated 7 months ago
- xd☆66Updated 3 months ago
- IT internships in Russia 🇷🇺☆436Updated 10 months ago
- Laboratory solutions for the course "Algorithms and Data Structures", y2022-2024☆11Updated 4 months ago
- A collection of labs and homework assignments related to physics, calculus, and linear algebra. The labs offer hands-on experiments and d…☆55Updated 7 months ago
- CT ITMO Tasks☆10Updated 2 years ago
- Summaries for 1st year lectures @ AMI HSE SPb☆54Updated 2 years ago
- ITMO CT M3x38 conspects☆20Updated 3 weeks ago
- Android application for department navigation☆33Updated last month
- Материалы по курсу Алгебры на ФКН ПИ☆41Updated 2 years ago
- Platform to conduct Mathematical Battle☆9Updated last year
- ☆13Updated 11 months ago
- LaTeX шаблоны для написания отчетов/дипломов/курсовых работ☆99Updated last year
- Preparing for Yandex technical interview.☆59Updated 3 years ago
- Конспекты М3*37 2019 года☆75Updated this week
- Конспекты теории с лекций, набранн ые в tex.☆36Updated last year
- Coding Theory course at ITMO University☆11Updated 2 years ago
- HSE summaries since second year of studying (2022+)☆15Updated last year
- Курс программирования на языке Python в РТУ МИРЭА☆203Updated 8 months ago