klimoza

Pinned Repositories

logical-fallacy-detection
Language:Python00
ghosts-of-history
Language:Kotlin0 1 01
AoC-2023-in-Kotlin
Language:Kotlin00
bert-lstm-distillation
00
BMP-Handler
Language:C00
computer-architecture
Конспекты курса архитектуры ЭВМ, ИТМО
Language:TeX00
cpp
Language:C++0 0 00
currency-exchange-office
Language:Solidity00
verified-kisa
Language:Coq80
lab3-klimoza-hex-game
Language:Rust0 2 00

klimoza's Repositories

klimoza/verified-kisa
Language:Coq80
klimoza/AoC-2023-in-Kotlin
Language:Kotlin00
klimoza/BMP-Handler
Language:C00
klimoza/computer-architecture
Конспекты курса архитектуры ЭВМ, ИТМО
Language:TeX00
klimoza/cpp
Language:C++0 0 00
klimoza/currency-exchange-office
Language:Solidity00
klimoza/dotfiles
Language:Shell00
klimoza/Fast-Demographic-History-Inference
Language:Python00
klimoza/go-dinic
Language:Go00
klimoza/hex-game
Language:Rust00
klimoza/Huffman-Coding
Language:C++00
klimoza/hw1-norm-forms
Language:Haskell
klimoza/hw2-N-queens
Language:Haskell
klimoza/isa-interpreter
Language:Rust1 0
klimoza/lab1-klimoza-mint-bot
Language:Python
klimoza/lab2-klimoza-factory
Language:Rust
klimoza/lab3-klimoza-hex-game
Language:Rust
klimoza/math-analysis-1course-1.5sem
Language:TeX0 0
klimoza/math-analysis-2course-1sem
klimoza/nft-mint-listener
Language:Python
klimoza/os-2022-labs-extra
Language:C1 0
klimoza/polybar-themes
A huge collection of polybar themes with different styles, colors and variants.
klimoza/PPCombinatorsProof
klimoza/python-rsa
Language:Python
klimoza/Talk-Chat
Language:Kotlin
klimoza/taps-and-sinks-solver
Language:Python
klimoza/thesis-verified-kisa
Language:TeX
klimoza/three_regimes_on_the_sphere
Language:Jupyter Notebook