Siddhartha Gadgil's repositories
LogicTypesSpaces
Course blog source and (mostly Agda) code for a course on "Logic, Types and Spaces"
MetricGeometryCourse
Notes for the course on Metric (including basic Differential) Geometry, IISc, 2013.
learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
WikiFromCensus
Generate wikipedia stubs for Indian villages from census data
AppyBirdDay
AppyBirdDay: Identifying Indian Birds
AutoMath
A quasi-private blog
Convergence
Illustration of conditional convergence using scalajs
DifferentialTopology
A collection of problem sets for a problem based course in basic differential topology.
HoTT-Course
web page, assignments etc for a course on Homotopy Type Theory
JavaScripts
Java Scripts for mathematics (collection, not components)
kojo.geogebra
Automatically exported from code.google.com/p/kojo.geogebra
kojo.stories
Automatically exported from code.google.com/p/kojo.stories
moultingyaml
Scala wrapper for SnakeYAML
ProofsAsMathematics
An invitation to propositions as types as in Homotopy type theory
scala.github.com
The Scala Documentation website
swot
Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.
tensorflow
Computation using data flow graphs for scalable machine learning
www.math.iisc.ernet.in
Sources for the Mathematics department, IISc web pages.