| 1 |
 VTrelat
|
22 hrs 22 mins |
3 hrs 43 mins |
Lean, TeX, Markdown, BibTeX, sh, C, Bash, JSON |
|
🇩🇪 |
| 2 |
 Alok Singh
|
8 hrs 15 mins |
1 hr 10 mins |
Lean, Python, C++, TOML, Git Config, Bash, YAML, JSON |
hireable |
🇺🇸 |
| 3 |
 Yichen Xu
|
3 hrs 9 mins |
27 mins |
Lean, TeX, Org, Python, Git, Markdown, Text, Scala |
|
🇨🇭 |
| 4 |
 KokomiCat
|
1 hr 27 mins |
14 mins |
Lean, Python, Text, JavaScript, Rust |
|
🇦🇺 |
| 5 |
 @bearwatcher
|
42 mins |
14 mins |
Org, Python, Lean, Text |
|
🇨🇦 |
| 6 |
 Potato Hatsue
|
10 mins |
5 mins |
Typst, Lean, Haskell |
|
|
| 7 |
 Jason Gross
|
0 secs |
0 secs |
Coq, Python, OCaml, Bash, TeX, JSON, Markdown, Docker, YAML, … |
|
🇺🇸 |
