| 1 |
 VTrelat
|
19 hrs 56 mins |
2 hrs 50 mins |
Lean, TeX, sh |
|
🇩🇪 |
| 2 |
 Anonymous User
|
2 hrs 57 mins |
25 mins |
Markdown, OCaml, C, V, Lean, JavaScript, Text, TypeScript, JSON, … |
|
🇧🇷 |
| 3 |
 Alok Singh
|
2 hrs 30 mins |
21 mins |
Python, Lean, JSON, Markdown, Rust, TOML, TeX |
hireable |
🇺🇸 |
| 4 |
 Yichen Xu
|
2 hrs 24 mins |
20 mins |
TeX, Lean, Org, Git, Markdown, Emacs Lisp, Scala, JSON |
|
🇨🇭 |
| 5 |
 A badly drawn TABS person
|
1 hr 54 mins |
38 mins |
Lean, Typst, JSON |
|
|
| 6 |
 Potato Hatsue
|
1 hr 36 mins |
19 mins |
Haskell, Lean, Typst, Kotlin, Java, Shell Script |
|
|
| 7 |
 Anonymous User
|
28 mins |
9 mins |
Rust, TOML, Lean, Text, Font, JSON, Git, Git Config |
|
🇨🇳 |
| 8 |
 Jelly Terra
|
9 mins |
1 min |
Rust, LALRPOP, Scala, Go, Astro, TypeScript, Lean, Markdown, OCaml, … |
|
🇨🇳 |
