Language Breakdown
Lines of code distribution across 104 owned repositories
22.1M
Total LOC
C++
8,502,468 lines
38.6%
N/A
TeX
4,227,556 lines
19.2%
N/A
JavaScript
2,340,326 lines
10.6%
N/A
TypeScript
2,274,976 lines
10.3%
N/A
HTML
1,752,236 lines
7.9%
N/A
Other
2,955,810 lines
13.4%
N/A
T
T-Shaped Developer
T-shapedDeep in C++ with broad versatility
C++
TeX
JavaScript
TypeScript
HTML
Collaboration Network
Global Impact visualization
Repos
167
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
1,762
Contributions
1,619
Commits
48
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
12 total
Kaustuv Chaudhuri
@chaudhuri
Wojciech Różowski
@wkrozowski
Wojciech Nawrocki
@Vtec234
Bruno Gavranović
@bgavran
bonjorno7
@bonjorno7
Synced via GitHub
Top Repositories
Noperthedron
The Noperthedron does not have Rupert Property: a proof in Lean4
16
3
Lean
lambda-maps
11
0
JavaScript
anstatauxi
10
0
JavaScript
twelf-wasm
Run Twelf in the browser with wasm and WASI
5
1
TypeScript
parametricity
4
0
Agda
twelf-lsp
LSP server for Twelf
4
0
TypeScript
lambda-map-drawer
Interactive Lambda Maps Toy
3
1
TypeScript
macro_experiment
2
0
Rust
rustpert
Some rust code to experiment with brute-force analysis of Rupert property
1
0
Rust
pyoro
Turn-based platforming
1
0
TypeScript
Open Source Impact
Contributions to external projects
184 merged PRs
leanprover/elan
544
leanprover/lean4
8224
leanprover-community/mathlib4
3437
direct-manipulation/profint
2
leanprover/theorem_proving_in_lean4
253
leanprover/fp-lean
171
leanprover-community/lean4web
142
leanprover/verso
349
leanprover/reference-manual
116
dwrensha/Rupert.lean
17
Contributed to 17 repositories