vladoovtcharov/math-classes
A library of abstract interfaces for mathematical structures in Coq.
Developer Profile
vladoovtcharov
Discovered public repositories for vladoovtcharov in the GitHub catalog.
vladoovtcharov/openslide
C library for reading virtual slide images
vladoovtcharov/ResqueBoard
A web interface to monitor php resque activities
vladoovtcharov/Compiler-Class
some compilers for a functional language in haskell
vladoovtcharov/Software-Foundations-Solutions
Working on some solutions to http://www.cis.upenn.edu/~bcpierce/sf/