vladoovtcharov/math-classes
A library of abstract interfaces for mathematical structures in Coq.
Public GitHub Catalog
Discovered Sep 26, 2026
vladoovtcharov / Software-Foundations-Solutions
Working on some solutions to http://www.cis.upenn.edu/~bcpierce/sf/
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.
#6269633GitHub System ID
vladoovtcharovOrganization / User
PublicVisibility
ActiveCatalog Status
More from vladoovtcharov
vladoovtcharov/openslide
C library for reading virtual slide images
vladoovtcharov/vladoovtcharov.github.io
Page test
vladoovtcharov/ResqueBoard
A web interface to monitor php resque activities