Pinned Repositories
lectures_tex_club
Репозиторий для конспектов Клуба Теха Лекций.
assemblerJS
For some lessons of 11 infomath class
CPAR
Competition Programming Algorithms Realizations
cpp-seminars
Tutor's (who is me) notes on C++ seminars
DanMax03
Config files for my GitHub profile.
deptycheck
Facilities for generating dependently-typed data
gc-cykp
hello-world
Single-Call-SEGM
Decomposing the Convergence of Single-Call Stohastic Extra Gradient Methods
Snooker
Проект "Snooker"
DanMax03's Repositories
DanMax03/assemblerJS
For some lessons of 11 infomath class
DanMax03/Snooker
Проект "Snooker"
DanMax03/CPAR
Competition Programming Algorithms Realizations
DanMax03/cpp-seminars
Tutor's (who is me) notes on C++ seminars
DanMax03/DanMax03
Config files for my GitHub profile.
DanMax03/deptycheck
Facilities for generating dependently-typed data
DanMax03/gc-cykp
DanMax03/hello-world
DanMax03/Idris2
A purely functional programming language with first class types
DanMax03/idris2-random-pure
Pure pseudo-random splitmix generator
DanMax03/little-cmake-notes
Just notes to not forget what I've learned
DanMax03/MeteoTelegramBot
DanMax03/Single-Call-SEGM
Decomposing the Convergence of Single-Call Stohastic Extra Gradient Methods
DanMax03/my-nvim-fork
DanMax03/nvim_config
DanMax03/ssnd-os-seminars
заметки с семинаров по операционным системам
DanMax03/unionfs-fuse
union filesystem using fuse