SphericalPotatoInVacuum / DependoBuf
DependoBuf - a data serialization format with dependent types
☆16Updated 5 months ago
Alternatives and similar repositories for DependoBuf:
Users that are interested in DependoBuf are comparing it to the libraries listed below
- ☆10Updated last week
- ☆14Updated last year
- LaTeX template for HSE coursework☆22Updated 2 years ago
- Summaries for 1st year lectures @ AMI HSE SPb☆54Updated 2 years ago
- Lectures on optimization methods☆72Updated 2 years ago
- My strange adventures in this place☆13Updated 3 years ago
- ☆124Updated 3 years ago
- Seminars on optimization methods☆30Updated 3 years ago
- ☆11Updated 3 years ago
- Кодовая база примеров паттернов проектирования по курсу "Технологии программирования"☆41Updated 8 months ago
- HSE materials☆131Updated 3 weeks ago
- Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]☆46Updated 3 months ago
- Applications of reinforcement learning to Groebner basis computation.☆11Updated 3 years ago
- MIPT sacred materials☆48Updated 2 years ago
- ☆38Updated 3 years ago
- Groebner bases in (almost) pure Julia☆70Updated this week
- Haskell homework tests☆31Updated 3 years ago
- Репозиторий для конспектов Клуба Теха Лекций.☆69Updated 2 months ago
- ☆63Updated 5 months ago
- My Java home works☆4Updated 5 years ago
- LaTeX styles for different purposes.☆106Updated last year
- Конспекты курса архитектуры ЭВМ, ИТМО☆41Updated 5 years ago
- Материалы курса АКОС на ФПМИ☆309Updated 8 months ago
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆38Updated 4 months ago
- ITMO CT M3x38 conspects☆20Updated last month
- Practice pages for HSE CAOS (Computer Architecture and Operating Systems)☆48Updated this week
- Teaching language LaMa for a compiler course☆72Updated last week
- Материалы семинаров по АКОС (ПМИ, ВШЭ, 2021-22 у.г.)☆9Updated 2 years ago
- Конспекты М3*37 2019 года☆76Updated this week
- ☆13Updated last month