| 1 |
 VTrelat
|
15 hrs 19 mins |
2 hrs 33 mins |
Lean, Markdown, TeX, sh |
|
🇩🇪 |
| 2 |
 Jason Gross
|
13 hrs 55 mins |
1 hr 59 mins |
Lean, Coq, Python, Bash, JSON, Markdown, HTML, Jinja, Git Config, … |
|
🇺🇸 |
| 3 |
 @kamome
|
8 hrs 20 mins |
1 hr 23 mins |
Lean, Typst, Scala, Markdown |
hireable |
🇨🇳 |
| 4 |
 Alok Singh
|
8 hrs 2 mins |
1 hr 8 mins |
Lean, Python, Makefile, Markdown, TOML, JSON, Text, Git Config |
hireable |
🇺🇸 |
| 5 |
 KokomiCat
|
5 hrs |
50 mins |
Lean, Python, Bash, C, Git Config, Text, Markdown, ca65 assembler |
|
🇦🇺 |
| 6 |
 @definfo
|
2 hrs 35 mins |
22 mins |
Markdown, Nix, Coq, Lean, Python, MATLAB, YAML, Haskell, Rust, … |
|
🇨🇳 |
| 7 |
 kAIto47802
|
2 hrs 5 mins |
25 mins |
Python, Lean, Text, C++, Bash, JSON, Markdown |
hireable |
🇯🇵 |
| 8 |
 Yichen Xu
|
55 mins |
7 mins |
Scala, Git, Lean, Markdown, Python, Rust, WebAssembly, Git Config, TOML |
|
🇨🇭 |
| 9 |
 @RanolP
|
9 mins |
1 min |
TypeScript, Typst, JavaScript, Rust, Markdown, Text, JSON, Go, YAML, … |
|
|
| 10 |
 @strn
|
6 mins |
1 min |
Python, MDX, Markdown, Text, HTML, C, Lean, QML, Bash, … |
|
🇸🇪 |
