Pinned Repositories
ardb
A redis protocol compatible nosql, it support multiple storage engines as backend like Google's LevelDB, Facebook's RocksDB, OpenLDAP's LMDB, Percona's PerconaFT, WiredTiger.
bachelor-thesis
Bachelor Thesis
caffe
Caffe triplet loss implementation
click-game
codes
colloquium1
colloquium2
colloquium3
exam0
Haskell-Practices
Practises for Haskell course taught at ITMO university
pva701's Repositories
pva701/caffe
Caffe triplet loss implementation
pva701/Haskell-Practices
Practises for Haskell course taught at ITMO university
pva701/bachelor-thesis
Bachelor Thesis
pva701/ardb
A redis protocol compatible nosql, it support multiple storage engines as backend like Google's LevelDB, Facebook's RocksDB, OpenLDAP's LMDB, Percona's PerconaFT, WiredTiger.
pva701/colloquium3
pva701/exam0
pva701/exam2
pva701/forandroid
scratchduino 2.0 for android
pva701/FP-Course-ITMO
Slides and other materials for functional programming lectures ITMO university
pva701/Fromanita
Fromanita is supa game
pva701/Haskell-Reactive-Extensions
Implementation of Reactive Extensions in Haskell
pva701/hs-analyzer
Static analyzer for verification course
pva701/Http-chat
pva701/ITMO-ML
ITMO ML homeworks
pva701/Java-Homework
Java homework by advanced java
pva701/lesson10
pva701/lesson6
pva701/lesson8
pva701/master-thesis
Master Thesis at ITMO university
pva701/ML-Project
pva701/network-labs
Network labs taught at the ITMO
pva701/nixpkgs
Nix Packages collection
pva701/OS-Homeworks
OS Homeworks
pva701/Priapus
Simple verifier for verification course
pva701/Reflection-Utils
Something java utils for fun using reflections
pva701/SoftwareDesign
Software Design course at the ITMO
pva701/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
pva701/text-classification-tf
CNN, LSTM, tree based solutions for Text Classification in Tensorflow
pva701/tiempo
Specify time intervals in different units (secs, mins, hours, etc.)
pva701/trialchain-mock