| 1 |
 VTrelat
|
17 hrs 38 mins |
2 hrs 31 mins |
Lean, Markdown, TeX, HTML, CSS, JSON, sh, OpenEdge ABL |
|
🇩🇪 |
| 2 |
 Alok Singh
|
10 hrs 8 mins |
1 hr 26 mins |
Lean, Python, JSON, TypeScript, SSH Key, Markdown, TOML, Lua, Makefile, … |
hireable |
🇺🇸 |
| 3 |
 Yichen Xu
|
2 hrs 58 mins |
35 mins |
Lean, Scala, TeX, Git, Org, Markdown |
|
🇨🇭 |
| 4 |
 Jason Gross
|
2 hrs 55 mins |
25 mins |
Lean, Python, Bash, Coq, TeX, OCaml, Makefile, JSON, Git Config, … |
|
🇺🇸 |
| 5 |
 KokomiCat
|
1 hr 20 mins |
11 mins |
TypeScript, JavaScript, Python, Lean, Text, HTML, JSON, JSON with Comments, Git Config, … |
|
🇦🇺 |
| 6 |
 Sergio Gomes
|
42 mins |
21 mins |
Lean, OCaml |
|
🇧🇷 |
| 7 |
 tsrigo
|
40 mins |
10 mins |
Python, Bash, Lean, Text, YAML, C, Markdown, JSON |
|
🇨🇳 |
| 8 |
 kAIto47802
|
35 mins |
5 mins |
Python, TeX, Bash, Lean, Text, Rust, BibTeX, TOML, JSON, … |
hireable |
🇯🇵 |
| 9 |
 @SmileMachine
|
6 mins |
1 min |
Python, JavaScript, Rust, Java, CSS, HTML, TypeScript, Markdown, JSON, … |
hireable |
🇨🇳 |
