Create your Sourcerer profile
Start
1

Anish Tondwalkar

atondwal

Commits
363
Repos
36
Lines of code
125719
Following
0
2
Overview
36 repos
Last updated: 2019/03/28 — 16:03:00
3
Languages
36 repos
Last updated: 2019/03/28 — 16:03:00
Haskell
 
Commits:
195
LOC:
92249
TeX
 
Commits:
90
LOC:
1803
Mathematica
 
Commits:
71
LOC:
3445
Wolfram
 
Commits:
46
LOC:
251
HTML
 
Commits:
39
LOC:
7407
CSS
 
Commits:
26
LOC:
1041
4
Technologies
36 repos
Last updated: 2019/03/28 — 16:03:00
Application Data
3 commits
Internet
2 commits
5
Fun facts
36 repos
Last updated: 2019/03/28 — 16:03:00

I'm most productive on

Wednesdays
16% of users
We

I'm most productive during

daytime
49% of users
d

I prefer

CamelCase

for naming variables

I prefer

spaces

for indentation

6
Repositories
36 repos
Last updated: 2019/03/28 — 16:03:00
#
Repository
Commits
Team
Language
Timeline
2
mist
54
3
Haskell
A tiny language for teaching and experimenting with Refinement Types
3
Residue-Theory
48
1
TeX
Residue Theory Lecture Notes for Physics Team, April Fools' Day 2011
4
tensors
39
1
TeX
Lecture on Co-and Contra- variance.
5
math
24
1
Mathematica
This repository holds the code for my analysis for the SAMI3 model with ISIS-OE.
6
lh-tests
19
1
Haskell
Tests of the liquid haskell compiler error messages.
7
Open-Web-Documents
18
2
HTML
8
liquid-fixpoint
17
13
Haskell
Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types
9
liquidhaskell
17
37
Haskell
Liquid Types For Haskell
10
config
14
1
VimL
Show more
7
⭐ Coworker Superstars
christetreault
gridaphobe
alanz
andrewthad
nikivazou
ranjitjhala
y-taka-23
sorawee