toadharvard / LambadaLinks
Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies
☆17Updated 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 2 years ago
- Telegram bot for me and my friends, which helps us to order cocktails and other things at our parties.☆179Updated 10 months ago
- Конспекты КТ ИТМО 36 y2020☆30Updated 3 years ago
- CPS examples☆16Updated 3 months ago
- ITMO CT C++ course notes☆150Updated 3 months ago
- ☆14Updated 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…☆62Updated last year
- HSE summaries since second year of studying (2022+)☆15Updated 2 years ago
- IT internships in Russia 🇷🇺☆453Updated last year
- ☆10Updated 3 years ago
- ITMO CT M3x38 conspects☆21Updated 5 months ago
- ☆16Updated 2 years ago
- ☆19Updated last month
- C++ Google Tests crossplatform project template with CI/CD. Has a shell installation script.☆14Updated 2 months ago
- ☆11Updated last year
- Конспекты М3*37 2019 года☆78Updated this week
- all my works from MAI☆24Updated 3 years ago
- CT ITMO Tasks☆10Updated 3 years ago
- Smart-home problem demo server binary releases☆32Updated 2 years ago
- ITMO labs☆29Updated 2 years ago
- xd☆69Updated 10 months ago
- Latex шаблон текста для квалификационных работ☆45Updated 3 weeks ago
- ☆131Updated 4 years ago
- LeetCode frequently asked questions☆218Updated 3 years ago
- Материалы курса АКОС на ФПМИ☆334Updated 3 months ago
- C examples for graduate course on MIPT☆144Updated 3 months ago
- Summaries for 1st year lectures @ AMI HSE SPb☆53Updated 3 years ago
- Coding Theory course at ITMO University☆13Updated 3 years ago
- My strange adventures in this place☆13Updated 3 years ago
- Конспекты по разным предметам первого потока ИСy27 университета ИТМО☆124Updated last week