SphericalPotatoInVacuum / DependoBufLinks
DependoBuf - a data serialization format with dependent types
☆16Updated 7 months ago
Alternatives and similar repositories for DependoBuf
Users that are interested in DependoBuf are comparing it to the libraries listed below
Sorting:
- ☆15Updated last year
- ☆11Updated last month
- Seminars on optimization methods☆30Updated 3 years ago
- LaTeX template for HSE coursework☆24Updated 3 years ago
- HSE materials☆132Updated 3 weeks ago
- ☆126Updated 3 years ago
- Practice pages for HSE CAOS (Computer Architecture and Operating Systems)☆52Updated 2 weeks ago
- Distributed Systems Course at CS HSE☆152Updated 5 months ago
- Lectures on optimization methods☆72Updated 2 years ago
- KoKoS - утилита для удобного решения задач курса АКОС.☆42Updated 9 months ago
- Applications of reinforcement learning to Groebner basis computation.☆12Updated 4 years ago
- Лекции ПМИ☆73Updated 7 years ago
- LaTeX styles for different purposes.☆107Updated 2 years ago
- Summaries for 1st year lectures @ AMI HSE SPb☆54Updated 3 years ago
- ☆11Updated 3 years ago
- MIPT sacred materials☆48Updated 2 years ago
- Groebner bases in (almost) pure Julia☆70Updated last month
- Stochastic Calculus course in HSE, Faculty of Computer Science☆19Updated this week
- Exact reduction of ODE models via linear transformations☆12Updated last year
- ☆11Updated 4 years ago
- Введение в глубинное обучение на ФКН ВШЭ☆21Updated 3 weeks ago
- ☆35Updated 5 years ago
- ☆64Updated 7 months ago
- ☆70Updated 5 months ago
- Haskell homework tests☆31Updated 3 years ago
- Github repository for NLA2020 course☆86Updated 4 years ago
- Mathematical layout for web and paper☆48Updated 2 years ago
- ☆12Updated 3 months ago
- Кодовая база примеров паттернов проектирования по курсу "Технологии прог раммирования"☆41Updated 10 months ago
- Конспекты теории с лекций, набранные в tex.☆36Updated 2 years ago