| 1 |
 @kamome
|
29 hrs 10 mins |
4 hrs 51 mins |
Lean, Markdown, Scala |
hireable |
🇨🇳 |
| 2 |
 VTrelat
|
13 hrs 20 mins |
2 hrs 13 mins |
Lean, Python, Lean4, TeX |
|
🇩🇪 |
| 3 |
 Alok Singh
|
11 hrs 25 mins |
1 hr 37 mins |
Lean, Swift, Markdown, Text, TOML, JSON, Python, Makefile |
hireable |
🇺🇸 |
| 4 |
 Chutian Yang
|
8 hrs 45 mins |
1 hr 15 mins |
Lean, Lean4, Markdown, JavaScript, Lua, Text, Rust, TOML |
hireable |
|
| 5 |
 Maxim Mikhaylov
|
6 hrs 26 mins |
1 hr 4 mins |
Lean, TeX, Rust, HTML, Markdown, BibTeX, JSON, TOML, Python, … |
|
|
| 6 |
 Jason Gross
|
2 hrs 6 mins |
18 mins |
Python, YAML, CSV, Lean, HTML, JSON, Bash, Coq, Makefile, … |
|
🇺🇸 |
| 7 |
 @bronen
|
1 hr 44 mins |
20 mins |
Clojure, Rust, Lean, Lean4, Nix, YAML, netrw, C, TOML, … |
|
🇧🇷 |
| 8 |
 Jelly Terra
|
1 hr 37 mins |
19 mins |
Go, Rust, Lean, Python, Markdown, Scala, LALRPOP, TOML, YAML, … |
|
🇨🇳 |
| 9 |
 @montmorill
|
1 hr 27 mins |
29 mins |
Lean, Lean4, TOML, JSON, Git Config |
hireable |
🇨🇳 |
| 10 |
 kAIto47802
|
28 mins |
4 mins |
Python, Text, Bash, JSON, C++, Lean4, Lean, BibTeX, C, … |
hireable |
🇯🇵 |
