siddhartha-gadgil/topology
Combining the notes from Pomona Math 147 (Topology) into a single illustrated, coherent document
Developer Profile
siddhartha-gadgil
Discovered public repositories for siddhartha-gadgil in the GitHub catalog.
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.
siddhartha-gadgil/AlgebraicTopology
Web page/blog for algebraic topology course
siddhartha-gadgil/mathlets
Web components for mathematics (using Angular-Dart)
siddhartha-gadgil/AutoMath
A quasi-private blog
siddhartha-gadgil/siddhartha-gadgil.github.io
Public repository.
siddhartha-gadgil/LogicTypesSpaces
Course blog source and (mostly Agda) code for a course on "Logic, Types and Spaces"
siddhartha-gadgil/learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
siddhartha-gadgil/AppyBirdDay
AppyBirdDay: Identifying Indian Birds
siddhartha-gadgil/MetricGeometryCourse
Notes for the course on Metric (including basic Differential) Geometry, IISc, 2013.
siddhartha-gadgil/DeptFoms
Forms for Department of Mathematics, IISc
siddhartha-gadgil/prime
A computer algebra system
siddhartha-gadgil/DifferentialTopology
A collection of problem sets for a problem based course in basic differential topology.
siddhartha-gadgil/ProvingGround
Proving Ground: Tools for Automated Mathematics