| 1 |
 VTrelat
|
19 hrs 4 mins |
2 hrs 43 mins |
Lean, JSON, sh |
|
🇩🇪 |
| 2 |
 Alok Singh
|
10 hrs 11 mins |
1 hr 27 mins |
Lean, Python, JSON, TypeScript, SSH Key, Markdown, TOML, Lua, Makefile, … |
hireable |
🇺🇸 |
| 3 |
 Jason Gross
|
2 hrs 55 mins |
25 mins |
Lean, Python, Bash, Coq, TeX, OCaml, Makefile, JSON, Git Config, … |
|
🇺🇸 |
| 4 |
 KokomiCat
|
2 hrs 8 mins |
18 mins |
TypeScript, Lean, Python, JavaScript, Text, HTML, JSON, JSON with Comments, Git Config, … |
|
🇦🇺 |
| 5 |
 kAIto47802
|
35 mins |
5 mins |
TeX, Python, Bash, Lean, Text, Rust, BibTeX, JSON, TOML, … |
hireable |
🇯🇵 |
| 6 |
 tsrigo
|
16 mins |
5 mins |
Bash, Python, Lean, YAML, JSON, Markdown |
|
🇨🇳 |
| 7 |
 Rodolfo Ruiz
|
12 mins |
3 mins |
Python, Bash, Lean, Docker, CSV, Text, JSON, Markdown |
hireable |
|
| 8 |
 @ZBrachinara
|
11 mins |
3 mins |
Typst, Lean, Git |
|
🇺🇸 |
| 9 |
 @SmileMachine
|
6 mins |
1 min |
Python, JavaScript, Rust, CSS, HTML, TypeScript, Markdown, JSON, Text, … |
hireable |
🇨🇳 |
| 10 |
 Yichen Xu
|
0 secs |
0 secs |
TeX, Scala, Git, Org, Markdown, Emacs Lisp, Lean |
|
🇨🇭 |
