Madrid
45
Followers
8
Following
21
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 16 owned repositories
10.4M
Total LOC
Jupyter Notebook
6,191,838 lines
59.4%
N/A
HTML
3,974,336 lines
38.1%
N/A
Python
131,135 lines
1.3%
N/A
Lean
46,046 lines
0.4%
N/A
TeX
45,433 lines
0.4%
N/A
Other
39,098 lines
0.4%
N/A
T
T-Shaped Developer
T-shapedDeep in Jupyter Notebook with broad versatility
Jupyter Notebook
HTML
Python
Lean
TeX
Collaboration Network
Global Impact visualization
Repos
27
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
2 days
275
Contributions
50
Commits
4
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
lean-crafter
Step-by-step small or medium-sized projects in Lean
6
0
Lean
denotational-lean
4
0
Lean
machine-learning
Content for Udacity's Machine Learning curriculum
1
0
Jupyter Notebook
customer_segments
Udacity MLND - customer_segments
1
0
Jupyter Notebook
reference-manual
The Lean reference manual
0
0
Lean
cslib
A Lean library for Computer Science
0
0
Lean
haskvent22
Advent of Code - Haskell
0
0
Haskell
eslint-plugin-react
React-specific linting rules for ESLint
0
0
JavaScript
face-generation
Udacity DLND face-generation project
0
0
language-translation
Udacity DLND language-translation project
0
0
HTML
Open Source Impact
Contributions to external projects
6 merged PRs
leanprover/reference-manual
116
OpenBrainLabs/openbraindata
3
OpenBrainLabs/openbrain3d
4
madlean-hub/madlean-sessions
3
madlean-hub/lean-forecast
1
Contributed to 5 repositories