Language Breakdown
Lines of code distribution across 21 owned repositories
3.2M
Total LOC
JavaScript
1,640,987 lines
51.6%
N/A
HTML
815,343 lines
25.6%
N/A
TypeScript
269,387 lines
8.5%
N/A
Agda
189,988 lines
6.0%
N/A
CSS
101,374 lines
3.2%
N/A
Other
161,858 lines
5.1%
N/A
T
T-Shaped Developer
T-shapedDeep in JavaScript with broad versatility
JavaScript
HTML
TypeScript
Agda
CSS
Collaboration Network
Global Impact visualization
Repos
30
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
120
Contributions
97
Commits
2
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
0 total
Not following anyone yet.
Synced via GitHub
Top Repositories
tt-in-cagda
Simply typed lambda calculus in cubical agda
23
1
Agda
microtonal-utils
A javascript library for calculating with microtonal intervals and notes
22
2
JavaScript
agda-knots
An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory
15
0
Agda
xen-calc
A multi-purpose calculator for microtonal(/xenharmonic) music
14
2
JavaScript
vowel-space
1
0
JavaScript
fjs-explorer
1
0
JavaScript
F-polys
1
0
Haskell
shape-shifter-250
A game(?) about making polyhedra
0
0
TypeScript
red-and-black
Simulator for variants of Red & Black Knight games, i.e. variants of https://oeis.org/A392177
0
0
JavaScript
head-in-the-clouds
0
0
JavaScript
Open Source Impact
Contributions to external projects
85 merged PRs
Contributed to 1 repositories