Aleksandr Pak's repositories
peano-cell
statically checked RefCell alternative
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
rust-cells
Small demo programs that use different kind of Rust cells
Language:TeX000
english-game
6 semester project for English
Language:Kotlin000
Language:Java000
diploma-code
Код для моей бакалаврской работы ИТМО ПМИ
Language:Jupyter Notebook000
ipnetwork
A library to work with CIDRs in rust
Apache-2.0000
M3137year2019
Конспекты М3*37 2019 года
Language:TeX000
Matstat
Matstat lections
000
Language:Java000
Language:Rust000
Language:Rust000
rust
Empowering everyone to build reliable and efficient software.
NOASSERTION000
Language:Python000
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