siddhartha-gadgil Goto Github PK

algebraic-topology-2020

source for course web page

algebraic-topology-2022

Source for course web page

algebraic-topology-2024

Course web page for "MA 332: Algebraic Topology" at the Indian Institute of Science, January 2024

algebraictopology

Web page/blog for algebraic topology course

algebraictopology2019

Course notes for Pure Mathematics Topic D 2019

appybirdday

AppyBirdDay: Identifying Indian Birds

automath

A quasi-private blog

automating-mathematics

basicanalysiscourse

classical-mechanics-lean

convergence

Illustration of conditional convergence using scalajs

counterexample

courseschedule

Course scheduling, perhaps other admin tasks

deptfoms

Forms for Department of Mathematics, IISc

deptweb

The web site for Department of Mathematics, IISc

differentialtopology

A collection of problem sets for a problem based course in basic differential topology.

doc-gen4

Document Generator for Lean 4

e-bird

data downloaded and a notebook for an e-bird competition

geomdeducer

Deduction part of AlphaGeometry in Lean (in progress)

girard-and-burali-forti

A try to prove Girard's paradox in idris

graphs-and-groups

groupcomp

Lean 4 code and some slides for the NCM workshop on Groups and Computations at KREA, July 2023

haiku

A Heroku-like name generator.

homepage

hott-course

web page, assignments etc for a course on Homotopy Type Theory

idris-number-theory

Elementary number theory written in Idris.

intro-algebraic-topology-2023

Course repository for "MA 232: Introduction to Algebraic Topology", IISc, August 2023

introduction-algebraic-topology-2020

Sources for a first course on Algebraic Topology and the course website.

javascripts

Java Scripts for mathematics (collection, not components)

jzy3d-example