Titova Sophia softitova
Saint-Petersburg, Russia
ITMO University, Computer Technologies chair
University Type theory course which is a continuation of Math logic course
computational geometry notes
labs on DMath course
startedpcapriotti/optparse-applicative
started time in 15 days
startedUnkindPartition/regex-applicative
started time in 15 days
startedzhuowei/nft_ptr
started time in 2 months
startederadman/entr
started time in 3 months
startednomeata/haskell-via-sokoban
started time in 3 months