gitaccount2/AngularFun
AngularJS Reference Architecture
Public GitHub Catalog
Discovered Sep 26, 2026
gitaccount2 / math-classes
A library of abstract interfaces for mathematical structures in Coq.
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.
#7871901GitHub System ID
gitaccount2Organization / User
PublicVisibility
ActiveCatalog Status
More from gitaccount2
gitaccount2/project-examples
Small projects in Maven, Gradle Ivy to configure CI and Artifactory
gitaccount2/Mathics
a general-purpose computer algebra system
gitaccount2/xits-math
XITS - OpenType implementation of STIX fonts with math support