Aleksandr Pak's repositories
system-f-type-checker
System-F type-checker written in Haskell
lambda-typecheker
Simply-typed lambda expressions typecheker in Haskell
rust-analyzer
A Rust compiler front-end for IDEs
Language:TeX000
english-game
6 semester project for English
diploma-code
Код для моей бакалаврской работы ИТМО ПМИ
Language:HTML000
Language:C++000
ipnetwork
A library to work with CIDRs in rust
Language:RustApache-2.0000
Language:Python000
M3137year2019
Конспекты М3*37 2019 года
Language:TeX000
Matstat
Matstat lections
000
Language:Rust000
Language:HTML000
theorcat
Конспекты лекций по Теории Категорий
Language:TeX000
ThesisCode
Predicting Outcomes for Adjudication Appeals through Machine Learning
Language:Jupyter Notebook000
Language:TeX000
Language:TeX000
wg-bond
Wireguard configuration made easy
Language:RustGPL-3.0000
Language:CNOASSERTION000