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.☆178Updated 9 months ago
- ☆19Updated last week
- Конспекты по разным предметам первого потока ИСy27 университета ИТМО☆119Updated this week
- ITMO labs☆29Updated 2 years ago
- Study materials☆96Updated 9 months ago
- xd☆68Updated 9 months ago
- Всё, что я напрограммировал за время обучения на кафедре 806 МАИ☆31Updated 4 months ago
- ☆11Updated last year
- Coding Theory course at ITMO University☆11Updated 2 years ago
- Smart-home problem demo server binary releases☆32Updated 2 years ago
- ☆44Updated 5 months ago
- IT internships in Russia 🇷🇺☆450Updated last year
- ☆73Updated 11 months ago
- C examples for graduate course on MIPT☆136Updated 2 months ago
- ITMO CT C++ course notes☆150Updated 2 months ago
- ☆18Updated 3 years ago
- Материалы курса АКОС на ФПМИ☆330Updated last month
- ☆14Updated 2 years ago
- Конспекты КТ ИТМО 36 y2020☆30Updated 3 years ago
- Golang programming course☆437Updated 5 months ago
- Материалы по курсу Алгебры на ФКН ПИ☆47Updated 3 years ago
- Конспекты теории с лекций, набранные в tex.☆37Updated 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…☆60Updated last year
- Все лабы и отчеты кафедры ВТ (СППО) Университета ИТМО☆135Updated 2 years ago
- ☆10Updated 3 years ago
- ☆16Updated 2 years ago
- ☆11Updated last year
- All my work that I did at this University.☆87Updated 3 months ago
- Репозиторий для конспектов Клуба Теха Лекций.☆84Updated last month