| 1 |
 Alok Singh
|
16 hrs 22 mins |
2 hrs 20 mins |
Lean, Python, Text, Markdown, Makefile, TeX, TOML, Bash, YAML, … |
hireable |
🇺🇸 |
| 2 |
 VTrelat
|
8 hrs 53 mins |
1 hr 46 mins |
Lean, TeX, SMT, sh, JSON |
|
🇩🇪 |
| 3 |
 Jason Gross
|
7 hrs 44 mins |
1 hr 6 mins |
Coq, Lean, Python, Org, TeX, JSON, TOML, CSV, HTML, … |
|
🇺🇸 |
| 4 |
 Yichen Xu
|
6 hrs 30 mins |
55 mins |
Scala, Lean, Git, Org, Markdown, Emacs Lisp, TeX, Rust, Lua |
|
🇨🇭 |
| 5 |
 Chutian Yang
|
3 hrs 26 mins |
29 mins |
Lean, Markdown, Lua, Makefile, Rust, Nix, Nushell, TOML |
hireable |
|
| 6 |
 KokomiCat
|
2 hrs 55 mins |
43 mins |
Lean, Python, TeX, C, BibTeX, BST, Markdown, Text, Graphviz (DOT), … |
|
🇦🇺 |
| 7 |
 Lslightly
|
2 hrs 19 mins |
20 mins |
Markdown, Lean, Python, Rust, Git, YAML |
|
🇨🇳 |
| 8 |
 @montmorill
|
33 mins |
8 mins |
TypeScript, Lean, JavaScript, HTML, TSConfig, JSON, Rust, Markdown |
hireable |
🇨🇳 |
| 9 |
 kAIto47802
|
9 mins |
1 min |
Python, C++, Bash, Markdown, TypeScript, TeX, Text, YAML, CSV, … |
hireable |
🇯🇵 |
| 10 |
 Zend Wang
|
4 mins |
0 secs |
Python, Go, Svelte, Solidity, Text, Bash, JSON, SQL, TypeScript, … |
|
🇨🇳 |
| 11 |
 @akelio
|
1 min |
0 secs |
Markdown, Bash, Python, Lean |
|
🇨🇳 |
