vladoovtcharov/math-classes
A library of abstract interfaces for mathematical structures in Coq.
Public GitHub Catalog
Discovered Sep 29, 2026
vladoovtcharov / openslide
C library for reading virtual slide images
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#14315893GitHub System ID
vladoovtcharovOrganization / User
PublicVisibility
ActiveCatalog Status
More from vladoovtcharov
vladoovtcharov/vladoovtcharov.github.io
Page test
vladoovtcharov/ResqueBoard
A web interface to monitor php resque activities
vladoovtcharov/Compiler-Class
some compilers for a functional language in haskell