Daniil's repositories
assemblerJS
For some lessons of 11 infomath class
deptycheck
Facilities for generating dependently-typed data
Language:IdrisMPL-2.0000
Language:C++000
idris2-random-pure
Pure pseudo-random splitmix generator
Language:IdrisApache-2.0000
little-cmake-notes
Just notes to not forget what I've learned
Single-Call-SEGM
Decomposing the Convergence of Single-Call Stohastic Extra Gradient Methods
Language:LuaUnlicense000
Language:Lua000
ssnd-os-seminars
заметки с семинаров по операционным системам
Language:C000
unionfs-fuse
union filesystem using fuse
Language:CNOASSERTION000