vladoovtcharov/math-classes
A library of abstract interfaces for mathematical structures in Coq.
Public GitHub Catalog
Discovered Sep 26, 2026
vladoovtcharov / Compiler-Class
some compilers for a functional language in haskell
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#6269832GitHub 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