Vlad-Shcherbina's repositories
TheoryOfRefinement
proving theorems in Hoare's theory of refinement with ITP
AliensPhones
МнТ для Чужих
Language:Java000
Language:Python000
Fifteen
Following Norvig's AI book
Language:Python000
FixTheFence
Winning entry for TopCoder Marathon Match 78
Language:Python000
Language:JavaScript000
FragileMirrors
Rather pathetic attempt at http://community.topcoder.com/longcontest/stats/?module=ViewOverview&rd=15648
Language:Python000
icfpc2009-tbd
clone of original svn repo
Language:Python000
icfpc2010-tbd
repository for TBD team on ICFPC'10
Language:Python000
icfpc2011-tbd
TBD 2011 - now private!
Language:Python000
icfpc2012-tbd
icfpc2012-tbd
Language:Python000
Language:Python000
idfpc
Infognition December Functional Programming Contest entry
Language:Python000
persistent_dict
Persistent dict and mutable dict with cheap clone operation (rerooting-based approach)
Language:Python000
qttt
Quantum tic-tac-toe solver
Language:C000
ru_ai_cup
Танчики
Language:Python000
SquareRemover
2014 TCO Marathon Round 1
Language:C++000
tracer
One of my weekend projects for university CG course back from 2006
Language:C++000