Create your Sourcerer profile
Start
1

Anish Tondwalkar

atondwal

Commits
273
Repos
35
Lines of code
116301
Following
0
2
Overview
35 repos
Last updated: 2018/12/17 — 01:12:00
3
Languages
35 repos
Last updated: 2018/12/17 — 01:12:00
Haskell
 
Commits:
101
LOC:
82831
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
35 repos
Last updated: 2018/12/17 — 01:12:00
Application Data
3 commits
Internet
2 commits
5
Fun facts
35 repos
Last updated: 2018/12/17 — 01:12:00

I'm most productive on

Fridays
11% of users
Fr

I'm most productive during

daytime
49% of users
d

I prefer

snake_case

for naming variables

I prefer

spaces

for indentation

I use

HTML for 1 year
6
Repositories
35 repos
Last updated: 2018/12/17 — 01:12:00
#
Repository
Commits
Team
Language
Timeline
2
tensors
39
1
TeX
Lecture on Co-and Contra- variance.
3
math
24
1
Mathematica
This repository holds the code for my analysis for the SAMI3 model with ISIS-OE.
4
lh-tests
19
1
Haskell
Tests of the liquid haskell compiler error messages.
5
Open-Web-Documents
18
2
HTML
6
liquid-fixpoint
17
13
Haskell
Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types
7
liquidhaskell
17
37
Haskell
Liquid Types For Haskell
8
config
14
1
VimL
9
mist
14
3
Haskell
A tiny language for teaching and experimenting with Refinement Types
10
xmonad-config
6
1
Haskell
My xmonad configuration
Show more
7
⭐ Coworkers
christetreault
gridaphobe
alanz
andrewthad