toadharvard / LambadaLinks
Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies
☆18Updated 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 last year
- Python module for change point detection in a time series with experimental environment☆11Updated this week
- Telegram bot for me and my friends, which helps us to order cocktails and other things at our parties.☆184Updated 4 months ago
- CPS examples☆17Updated last month
- ☆18Updated 2 weeks ago
- ☆11Updated this week
- ☆11Updated 7 months ago
- graphs-graph-10 created by GitHub Classroom☆19Updated 10 months ago
- ☆12Updated this week
- Android application for department navigation☆36Updated last month
- ITMO labs☆28Updated last year
- ITMO CT C++ course notes☆139Updated 4 months ago
- HSE summaries since second year of studying (2022+)☆15Updated last year
- Материалы по направлению "Технологии программирования" в СПбГУ. Materials on the "Technology programming" direction at SPbU☆11Updated last year
- ☆16Updated last year
- ☆11Updated 11 months ago
- IT internships in Russia 🇷🇺☆440Updated last year
- Собрание материалов, наработанных во время учёбы на КТ ИТМО, M3*36 y2021☆18Updated last year
- ☆10Updated 2 years ago
- Coding Theory course at ITMO University☆11Updated 2 years ago
- xd☆66Updated 4 months ago
- Конспекты КТ ИТМО 36 y2020☆29Updated 3 years ago
- Конспекты М3*37 2019 года☆78Updated this week
- Public materials for students☆15Updated last week
- LeetCode frequently asked questions☆221Updated 3 years ago
- Golang programming course☆388Updated 2 weeks ago
- Laboratory solutions for the course "Algorithms and Data Structures", y2022-2024☆11Updated 8 months ago
- C++ Google Tests crossplatform project template with CI/CD. Has a shell installation script.☆15Updated 9 months ago
- Материалы курса АКОС на ФПМИ☆315Updated 10 months ago
- ☆18Updated last year