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
- Telegram bot for me and my friends, which helps us to order cocktails and other things at our parties.☆183Updated 5 months ago
- CPS examples☆17Updated last month
- ☆18Updated last month
- Python module for change point detection in a time series with experimental environment☆11Updated this week
- ☆11Updated 7 months ago
- ☆11Updated 2 weeks ago
- ☆19Updated last year
- Latex шаблон текста для квалификационных работ☆41Updated last month
- graphs-graph-10 created by GitHub Classroom☆19Updated 10 months ago
- Репозиторий для конспектов☆9Updated last year
- ITMO labs☆28Updated last year
- Supporting material for some courses of SE chair and HSE "Applied Mathematics and Information Science" programme☆111Updated 2 weeks ago
- Android application for department navigation☆36Updated 2 months ago
- IT internships in Russia 🇷🇺☆440Updated last year
- A collection of labs and homework assignments related to physics, calculus, and linear algebra. The labs offer hands-on experiments and d…☆55Updated last year
- Laboratory solutions for the course "Algorithms and Data Structures", y2022-2024☆11Updated 9 months ago
- Конспекты КТ ИТМО 36 y2020☆29Updated 3 years ago
- Laboratory problems and solutions for the ITMO course "Algorithms and data structures"☆85Updated 5 years ago
- This repository contains materials from calculus lectures for the 2023-2024 academic years (lecturer Ivan Erlikh)☆15Updated last year
- Summaries for 1st year lectures @ AMI HSE SPb☆54Updated 3 years ago
- ☆12Updated 3 weeks ago
- xd☆67Updated 4 months ago
- ☆23Updated last year
- LeetCode frequently asked questions☆221Updated 3 years ago
- ☆16Updated last year
- Preparing for Yandex technical interview.☆63Updated 3 years ago
- ☆25Updated 6 months ago
- ITMO CT C++ course notes☆140Updated 5 months ago
- Материалы по курсу Алгебры на ФКН ПИ☆47Updated 2 years ago