siddhartha-gadgil/topology
Combining the notes from Pomona Math 147 (Topology) into a single illustrated, coherent document
Public GitHub Catalog
Discovered Sep 30, 2026
siddhartha-gadgil / LogicTypesSpaces
Course blog source and (mostly Agda) code for a course on "Logic, Types and Spaces"
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.
#17861195GitHub System ID
siddhartha-gadgilOrganization / User
PublicVisibility
ActiveCatalog Status
More from siddhartha-gadgil
siddhartha-gadgil/Convergence
Illustration of conditional convergence using scalajs
siddhartha-gadgil/JavaScripts
Java Scripts for mathematics (collection, not components)
siddhartha-gadgil/swot
Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.