anastasds/software-foundations-coq
exercise solutions to the Coq book
Public GitHub Catalog
Discovered Sep 24, 2026
anastasds / upnc2010
Simulation of LTP/LTD in neural networks
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.
#706826GitHub System ID
anastasdsOrganization / User
PublicVisibility
ActiveCatalog Status
More from anastasds
anastasds/sicp-clojure
SICP example code and exercise solutions written in Clojure
anastasds/math-companions
companion texts for undergraduate study
anastasds/oeis-php
A simple PHP class that parses an OEIS sequence's page