SphericalPotatoInVacuum / DependoBuf
DependoBuf - a data serialization format with dependent types
☆14Updated last week
Related projects ⓘ
Alternatives and complementary repositories for DependoBuf
- LaTeX template for HSE coursework☆22Updated 2 years ago
- ☆12Updated 9 months ago
- KoKoS - утилита для удобного решения задач курса АКОС.☆42Updated last month
- HSE materials☆127Updated last year
- ☆116Updated 3 years ago
- ☆11Updated 2 years ago
- Distributed Systems Course at CS HSE☆141Updated this week
- ☆35Updated 4 years ago
- ☆59Updated last week
- ITMO CT C++ course notes☆125Updated 5 months ago
- Useful links for HSE Computer's Architecture course☆23Updated 4 years ago
- Labs for Operating Systems course at HSE☆73Updated 3 years ago
- ☆37Updated 8 months ago
- Practice pages for HSE CAOS (Computer Architecture and Operating Systems)☆37Updated this week
- Telegram-bot which notifies chat participants about coming Birthdays 🎉☆11Updated 4 months ago
- Лекции ПМИ☆72Updated 6 years ago
- Here you can find HSE algo lectures 2019☆15Updated 4 years ago
- Это репозиторий для проведения курса по The Missing Semester of Your CS Education в университете Высшая Школа Экономики☆396Updated 2 years ago
- ITMO CT M3x38 conspects☆18Updated 10 months ago
- Summaries for 1st year lectures @ AMI HSE SPb☆53Updated 2 years ago
- MIPT sacred materials☆47Updated 2 years ago
- Материалы для студентов ФПМИ☆64Updated 2 years ago
- ☆64Updated this week
- db-course-hse☆23Updated last year
- Linear Algebra Course being taught in HSE in 2021/2022 (in russian)☆27Updated 2 years ago
- My Java home works☆4Updated 4 years ago
- ☆79Updated 4 years ago
- Конспекты М3*37 2019 года☆73Updated this week