Jonathan Lorimer
@JonathanLorimer
Toronto, Ontario
109
Followers
167
Following
201
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 95 owned repositories
1.8M
Total LOC
Haskell
583,084 lines
33.2%
N/A
HTML
307,699 lines
17.5%
N/A
JavaScript
207,120 lines
11.8%
N/A
Nix
198,182 lines
11.3%
N/A
Agda
197,896 lines
11.3%
N/A
Other
264,045 lines
15.0%
N/A
∞
Generalist Developer
G-shapedVersatile across many languages and paradigms
Haskell
HTML
JavaScript
Nix
Agda
Collaboration Network
Global Impact visualization
Repos
214
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
711
Contributions
66
Commits
3
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
167 total
kei
@thelissimus
Andrew Miller
@amiller
Noah Sluss
@nsluss
Sam Chapin
@sfwc
Dominic Orchard
@dorchard
Synced via GitHub
Top Repositories
conceptual-mathematics
Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics
28
0
Agda
core-warn
Provide warnings for unexpected Core generation
28
1
Haskell
htmx
21
3
Haskell
book-of-monads
Exercises from the 'Book of Monads' by Alejandro Serrano Mena
19
4
Haskell
weft
GraphQL Schema generation in Haskell
17
0
Haskell
nix-config
My home manager config
16
1
Nix
haskwire
HTML Over The Wire, bringing SSR to Haskell
8
0
Nix
templates
5
4
Nix
tdd-with-idris2
Working through Type Driven Development with Idris, using Idris2
4
0
Idris
jonathanlorimer.github.io
3
1
Haskell
Open Source Impact
Contributions to external projects
272 merged PRs
Contributed to 2 repositories