Matt Earnshaw
@mattearnshaw
University of Tartu
Tartu, Estonia
86
Followers
53
Following
8
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 1 owned repositories
0
Total LOC
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
91
Contributions
0
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
Following
53 total
Elena Di Lavore
@elenadilavore
Mario Román
@mroman42
Pietro Vertechi
@piever
Sebastian Posur
@sebastianpos
Joshua Moerman
@Jaxan
Synced via GitHub
Top Repositories
lawvere
The collected works of F. W. Lawvere
381
43
catlog
Categorical logic from a categorical point of view
2
0
TeX
martin-lof
papers of Per Martin Löf
2
1
TeX
mathlib-tools
Development tools for https://github.com/leanprover-community/mathlib
0
0
Python
lftcm2020
Lean for the Curious Mathematician 2020
0
0
Python
mathlib
Lean mathematical components library
0
0
Lean
natural_number_game
Building the natural numbers in Lean.
0
0
Lean
overtone
Collaborative Programmable Music
0
0
Clojure
Open Source Impact
Contributions to external projects
111 merged PRs
No external contributions found.