siddhartha-gadgil/www.math.iisc.ernet.in
Sources for the Mathematics department, IISc web pages.
Public GitHub Catalog
Discovered Sep 30, 2026
siddhartha-gadgil / learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
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.
#17735991GitHub System ID
siddhartha-gadgilOrganization / User
PublicVisibility
ActiveCatalog Status
More from siddhartha-gadgil
siddhartha-gadgil/BasicAnalysisCourse
Public repository.
siddhartha-gadgil/WikiFromCensus
Generate wikipedia stubs for Indian villages from census data
siddhartha-gadgil/presentations
presentations using reveal.js