| 1 |
 VTrelat
|
16 hrs 36 mins |
2 hrs 46 mins |
Lean, sh |
|
🇩🇪 |
| 2 |
 Anonymous User
|
8 hrs 57 mins |
2 hrs 59 mins |
Lean, Typst, Markdown, Git Config, hyprlang, JSON |
hireable |
🇨🇳 |
| 3 |
 Alok Singh
|
4 hrs 4 mins |
34 mins |
Python, Lean, TOML, Rust, Bash, JSON, Git Config, Markdown, Docker |
hireable |
🇺🇸 |
| 4 |
 Yichen Xu
|
1 hr 16 mins |
10 mins |
TeX, Lean, Git, Scala, Python, Org, Markdown |
|
🇨🇭 |
| 5 |
 Zainab Lawal
|
1 hr 9 mins |
34 mins |
Lean, TOML, Markdown, JSON |
|
🇹🇷 |
| 6 |
 Max Niederman
|
38 mins |
7 mins |
Python, MDX, Rust, Typst, Lean, Git Config, Astro, Svelte, Markdown, … |
|
|
| 7 |
 Adrian Valentin Panaintescu
|
23 mins |
3 mins |
Python, Markdown, Text, TOML, YAML, Lean, JSON, JavaScript, CSV, … |
hireable |
🇷🇴 |
| 8 |
 Jason Gross
|
6 mins |
0 secs |
Coq, OCaml, Python, Bash, Docker, Makefile, Markdown, Lean, SSH Config, … |
|
🇺🇸 |
| 9 |
 NastyPigz
|
5 mins |
0 secs |
TeX, Python, TypeScript, JavaScript, Bash, Makefile, Git, Text, Git Config, … |
hireable |
🇨🇦 |
