Giters
Siddhartha Gadgil (siddhartha-gadgil)

siddhartha-gadgil

Geek Repo

131

followers

2

following

85

stars

Company:Indian Institute of Science

Location:Bangalore

Home Page:http://math.iisc.ac.in/~gadgil/

Twitter:@SidGadgil

Github PK Tool:Github PK Tool

Siddhartha Gadgil's repositories

LogicTypesSpaces

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

Language:RubyLicense:MITStargazers:4Issues:4Issues:0

MetricGeometryCourse

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

Language:TeXLicense:MITStargazers:2Issues:14Issues:0

learn-you-an-agda

Learn you an Agda (and achieve enlightenment)

Language:CSSLicense:BSD-3-ClauseStargazers:1Issues:3Issues:0

WikiFromCensus

Generate wikipedia stubs for Indian villages from census data

Language:ScalaLicense:MITStargazers:1Issues:0Issues:0

AppyBirdDay

AppyBirdDay: Identifying Indian Birds

Language:DartLicense:MITStargazers:0Issues:2Issues:0

AutoMath

A quasi-private blog

Language:JavaScriptStargazers:0Issues:0Issues:0

BasicAnalysisCourse

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

Convergence

Illustration of conditional convergence using scalajs

Language:ScalaLicense:MITStargazers:0Issues:2Issues:0

DifferentialTopology

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

Stargazers:0Issues:2Issues:0

haiku

A Heroku-like name generator.

Language:ScalaLicense:MITStargazers:0Issues:2Issues:0

HoTT-Course

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

Language:HTMLLicense:MITStargazers:0Issues:2Issues:0

JavaScripts

Java Scripts for mathematics (collection, not components)

Language:JavaScriptLicense:MITStargazers:0Issues:3Issues:0

kojo.geogebra

Automatically exported from code.google.com/p/kojo.geogebra

Language:JavaStargazers:0Issues:0Issues:0

kojo.stories

Automatically exported from code.google.com/p/kojo.stories

Stargazers:0Issues:0Issues:0

mathlets

Web components for mathematics (using Angular-Dart)

Language:DartLicense:MITStargazers:0Issues:3Issues:0

MathMisc

Miscellaneous mathematics scripts

Language:ScalaStargazers:0Issues:2Issues:0

moultingyaml

Scala wrapper for SnakeYAML

Language:ScalaLicense:MITStargazers:0Issues:2Issues:0

nd4s

ND4S: N-Dimensional Arrays for Scala. Scientific Computing a la Numpy. Based on ND4J.

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:3Issues:0

ParMizar

A parser in scala for Mizar Language (http://mizar.org/language/) using Parboiled2

Language:ScalaStargazers:0Issues:3Issues:0

prime

A computer algebra system

Stargazers:0Issues:4Issues:0

ProofsAsMathematics

An invitation to propositions as types as in Homotopy type theory

Stargazers:0Issues:3Issues:0

RooftopSolar

Language:ScalaLicense:MITStargazers:0Issues:0Issues:0

scala.github.com

The Scala Documentation website

Language:HTMLStargazers:0Issues:3Issues:0

siddhartha-gadgil.github.io

Language:HTMLStargazers:0Issues:3Issues:0

spire

Powerful new number types and numeric abstractions for Scala.

Language:ScalaLicense:MITStargazers:0Issues:2Issues:0

swot

Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.

Language:KotlinLicense:MITStargazers:0Issues:0Issues:0

tensorflow

Computation using data flow graphs for scalable machine learning

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

topology

Combining the notes from Pomona Math 147 (Topology) into a single illustrated, coherent document

Language:TeXStargazers:0Issues:3Issues:0

UM102

Course notes, website etc for UM102 at IISc, Bangalore

Language:HTMLLicense:MITStargazers:0Issues:4Issues:0

www.math.iisc.ernet.in

Sources for the Mathematics department, IISc web pages.

Language:HTMLLicense:MITStargazers:0Issues:3Issues:1