12
Followers
1
Following
6
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 5 owned repositories
3.4M
Total LOC
Python
2,199,388 lines
65.4%
N/A
OCaml
1,059,730 lines
31.5%
N/A
Shell
43,063 lines
1.3%
N/A
Cuda
36,213 lines
1.1%
N/A
Makefile
13,425 lines
0.4%
N/A
Other
12,222 lines
0.4%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in Python
Python
OCaml
Shell
Cuda
Makefile
Collaboration Network
Global Impact visualization
Repos
13
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
162
Contributions
156
Commits
0
Pull Requests
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Mo
We
Fr
Based on GitHub activity
Less
More
Top Repositories
static-analysis-for-support-match
Towards Verified Stochastic Variational Inference for Probabilistic Programs
7
0
Python
reparam-nondiff
Reparameterization Gradient for Non-differentiable Models
5
1
Python
mixed-prec-train
Training with Mixed-Precision Floating-Point Assignments
1
0
Python
smoothness-analysis
Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference
0
0
Python
static-analysis-for-differentiability
0
0
Python
mindbender
Mindbender for iterative knowledge base development with DeepDive
0
0
CoffeeScript
Open Source Impact
Contributions to external projects
1 merged PRs
emeryberger/CSrankings
3140
yechanp/floating-point-iua-theorem
2
fpc-lab/class-pl-26s
13
fpc-lab/class-cc-26f
0
fpc-lab/class-cc-25s
0
Contributed to 5 repositories