siddhartha-gadgil

ProvingGround

Proving Ground: Tools for Automated Mathematics

LTS2019

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

MillScalaServer

scala server with js built with mill

algebraic-topology-2022

Source for course web page

topology-2022

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

AlgebraicTopology

Web page/blog for algebraic topology course

lean4-scratch

Experimenting with lean4, especially metapramming

Probability

Notes, illustrations etc for Probability courses

TrainLogic

Material for a background course on Logic and Type Theory

WhiteBoard

A minimal virtual whiteboard with markdown and latex

AlgebraicTopology2019

Course notes for Pure Mathematics Topic D 2019

DeptFoms

Forms for Department of Mathematics, IISc

doc-gen4

Document Generator for Lean 4

e-bird

data downloaded and a notebook for an e-bird competition

Girard-and-Burali-Forti

A try to prove Girard's paradox in idris

Graphs-and-Groups

Idris-Number-Theory

Elementary number theory written in Idris.

jzy3d-example

marathi-entry

Interface for entering marathi terms

MathIllust

Web illustrations for Mathematics

mathlib4

Work in progress mathlib port for lean 4

ParTEX

A parser in Scala for LATEX documents (mathematics).

QED

Repository for the QED interactive text and possible extensions

scala-force-layout

Force-directed graph layout implementation in Scala

scala.github.com

The Scala Documentation website

scalameta

Library to read, analyze, transform and generate Scala programs

smt-examples

tensorflow-example

Experiments with using tensorflow from scala

TowerOfHanoi

Solving the tower of Hanoi

trepplein

Lean type-checker written in Scala.