Discover @siddhartha-gadgil Open Source projects

Siddhartha Gadgil (@siddhartha-gadgil)

siddhartha-gadgil

Stars
330
Global Rank 82,411 (Top 3 %)
Followers 115
Following 2
Registered almost 12 years ago
Most used languages

HTML
34.8 %

Lean 17.4 %

Jupyter Notebook
13.0 %

Scala
8.7 %

TeX
8.7 %

JavaScript
4.3 %

CSS
4.3 %

Ruby
4.3 %

Idris 4.3 %
Location 🇮🇳 India
Country Total Rank 2,010
Country Ranking

Idris 1

Lean 1

Jupyter Notebook
154

TeX
188

Scala
205

Ruby
770

HTML
1,535

ProvingGround

Proving Ground: Tools for Automated Mathematics

Jupyter Notebook

LeanAide

Tools based on AI for helping with Lean 4

Jupyter Notebook

Saturn

Experiments with SAT solvers with proofs in Lean 4

lean-loris

Experiments with some ways of automating reasoning in lean 4

Jupyter Notebook

LTS2019

Web page, code for "Logic, Types Spaces 2019" at IISc

algebraic-topology-2020

source for course web page

Polylean

proofs-and-programs-2023

Code and source for website for the course "Proofs and Programs", January 2023, Indian Institute of Science

LogicTypesSpaces

Course blog source and (mostly Agda) code for a course on "Logic, Types and Spaces"

MillScalaServer

scala server with js built with mill

topology-2022

Course website for MA 231: Topology at Indian Institute of Science, Bangalore

algebraic-topology-2022

Source for course web page

Superficial

Curves and other structures on surfaces (topology)

DeptWeb

The web site for Department of Mathematics, IISc

MetricGeometryCourse

Notes for the course on Metric (including basic Differential) Geometry, IISc, 2013.

WhiteBoard

A minimal virtual whiteboard with markdown and latex

AlgebraicTopology

Web page/blog for algebraic topology course

TrainLogic

Material for a background course on Logic and Type Theory

Probability

Notes, illustrations etc for Probability courses

introduction-algebraic-topology-2020

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

topology-2021

Web page for the Topology course at IISc, Aug 2021

LeanMetaCompute

Computation verified by generating proof terms

WikiFromCensus

Generate wikipedia stubs for Indian villages from census data