Language Breakdown
Lines of code distribution across 10 owned repositories
13.4M
Total LOC
Python
9,371,548 lines
70.0%
N/A
Jupyter Notebook
2,394,863 lines
17.9%
N/A
OCaml
439,249 lines
3.3%
N/A
C++
333,827 lines
2.5%
N/A
JavaScript
229,009 lines
1.7%
N/A
Other
627,082 lines
4.7%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in Python
Python
Jupyter Notebook
OCaml
C++
JavaScript
Collaboration Network
Global Impact visualization
Repos
24
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
8 days
553
Contributions
72
Commits
38
Pull Requests
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Mo
We
Fr
Based on GitHub activity
Less
More
Following
36 total
Thomas Porter
@thomasporter522
Eloise Christian
@fdeitylink
Jacques Carette
@JacquesCarette
Philipp Joram
@phijor
JesseCSlater
@JesseCSlater
Synced via GitHub
Top Repositories
forester-emacs-mode
1
0
Emacs Lisp
linear-lambda-SMT
SMT-based Proof Search for Substructural Lambda Calculi
1
0
Python
LoG_M
Projective Geometry through Python
1
0
Python
forester.el
0
0
Emacs Lisp
grammars-and-semantic-actions
Monoidal Toposes of Grammars and Semantic Actions
0
0
TeX
mplse-reading-group.github.io
0
0
Haskell
cubical
An experimental library for Cubical Agda
0
0
Agda
image_invariance
0
0
Jupyter Notebook
advent_of_code
0
0
Haskell
VerticalCAS
0
0
Jupyter Notebook
Open Source Impact
Contributions to external projects
64 merged PRs
cseg-michigan/cseg-michigan.github.io
1
agda/cubical
559
maxsnew/grammars-and-semantic-actions
28
um-catlab/cubical-categorical-logic
39
mplse-reading-group/mplse-reading-group.github.io
1
Contributed to 5 repositories