Rankings
Badges
/
lynn
Rankings
Badges
Overview
Ranks
Repositories
Languages
Lynn
@lynn
Refresh
Open GitHub
🇧🇪 Antwerp, Belgium
@SecureDNA
Profile age: almost 10 years
Updated 1 day ago
549 followers • 55 following
Contacts
lynn@foldr.moe
https://lynn.github.io
@chordbug
Repositories
hello
363
242
updated over 1 year ago • age almost 4 years
TypeScript
81.5%
CSS
13.2%
HTML
5.4%
chibicc
133
7
updated over 1 year ago • age over 2 years
C
98.1%
Shell
1.4%
Makefile
0.5%
pysearch
67
10
updated 4 days ago • age over 4 years
Rust
78.1%
C++
21.9%
autokalimba
59
8
updated 3 months ago • age about 4 years
JavaScript
65.1%
HTML
23.3%
CSS
11.6%
GMSD
56
5
updated over 9 years ago • age almost 10 years
F#
100.0%
trans-pride
41
6
updated over 6 years ago • age over 6 years
koakuma
39
10
updated 23 days ago • age over 8 years
TypeScript
90.7%
Python
9.3%
typst-syntree
39
7
1
updated about 1 month ago • age over 2 years
Typst
100.0%
shanghai
38
2
updated over 2 years ago • age about 3 years
Python
100.0%
wordpet
36
1
updated over 4 years ago • age about 8 years
Elm
84.2%
HTML
14.3%
Python
1.5%
Show more - 10 of 44 shown
Contributions
2025
analysis
2 PRs
+3
-3
Lean
1,297
176
packages
1 PR
+158
-0
Rust
806
746
compfiles
1 PR
+171
-0
Lean
205
47
gitfourchette
2 PRs
+156
-1
Python
173
11
10
doc-gen4
2 PRs
+13
-4
Lean
111
55
quickdna
1 PR
+2
-2
Rust
58
1
1
toadua
~6 PRs
+103
-103
TypeScript
14
6
1
dictionary
1 PR
+15
-0
Python
10
2
liputenpo.org
1 PR
+3
-3
HTML
7
6
soakue
1 PR
+17
-16
JavaScript
0
1
Show more
