| 1 |
 @kamome
|
16 hrs 20 mins |
2 hrs 20 mins |
Lean, Markdown, Typst, TeX, Makefile, YAML, BST, Bash, TOML, … |
hireable |
🇨🇳 |
| 2 |
 Alok Singh
|
7 hrs 42 mins |
1 hr 6 mins |
Python, Lean, Markdown, TeX, JSON, TOML, Makefile, BibTeX, C, … |
hireable |
🇺🇸 |
| 3 |
 VTrelat
|
4 hrs 45 mins |
47 mins |
TeX, Lean, SMT, Python, sh, JSON, Bash |
|
🇩🇪 |
| 4 |
 Chutian Yang
|
3 hrs 13 mins |
27 mins |
Lean, Markdown, Lua, Rust, Nix |
hireable |
|
| 5 |
 @montmorill
|
2 hrs 19 mins |
27 mins |
Lean, Python |
hireable |
🇨🇳 |
| 6 |
 Jason Gross
|
2 hrs 10 mins |
18 mins |
Coq, Python, Lean, Go, JavaScript, Shell, JSON, TOML, HTML, … |
|
🇺🇸 |
| 7 |
 Kian Chen
|
1 hr 39 mins |
14 mins |
Python, Bash, Markdown, Text, Lean, JSON, Git Config, YAML, TOML |
|
🇨🇳 |
| 8 |
 Xiangzhuang Shen
|
1 hr 22 mins |
16 mins |
Python, Markdown, Lean, TOML, YAML, Git Config, Makefile, Bash, JavaScript, … |
|
🇨🇳 |
| 9 |
 kAIto47802
|
1 hr 12 mins |
10 mins |
Python, Markdown, JSON, Text, Lean, Bash, YAML, TypeScript, CSV, … |
hireable |
🇯🇵 |
| 10 |
 Nikolai
|
17 mins |
5 mins |
Svelte, Python, TypeScript, Lean, Bash, Rust, Git Config, HTML, Text, … |
hireable |
🇳🇴 |
| 11 |
 Yichen Xu
|
10 mins |
1 min |
Scala, Org, Git, TeX, Emacs Lisp, Lean, Rust, Lua, Markdown |
|
🇨🇭 |
| 12 |
 Nikolay Kolev
|
6 mins |
0 secs |
terraform, Go, Rust, C, Terraform, YAML, TypeScript, Mustache, Pkl, … |
hireable |
🇺🇸 |
| 13 |
 Zhizhen He
|
5 mins |
0 secs |
Bash, Lua, Markdown, CSV, Python, Makefile, Go, JSON, Rust, … |
|
🇨🇳 |
