| 1 |
 Anonymous User
|
8 hrs 49 mins |
1 hr 28 mins |
Lean, typst, Markdown, V, Lua, Agda, TOML, JSON, conf, … |
hireable |
🇨🇳 |
| 2 |
 Potato Hatsue
|
2 hrs 39 mins |
31 mins |
Lean |
|
|
| 3 |
 jinser lin
|
2 hrs 21 mins |
23 mins |
Nix, Rust, Haskell, Lean, Lua, SQL, Markdown, CMake, YAML, … |
|
|
| 4 |
 Anonymous User
|
2 hrs |
1 hr |
Lean, TeX, Go, JSON |
|
|
| 5 |
 Alok Singh
|
1 hr 18 mins |
11 mins |
Lean, Swift, Bash, XML, Metal, Python, YAML |
hireable |
🇺🇸 |
| 6 |
 Mariana
|
48 mins |
16 mins |
Vue.js, JSON, Lean, JavaScript |
|
🇧🇷 |
| 7 |
 Jason Gross
|
0 secs |
0 secs |
Python, Bash, Coq, YAML, Makefile, Text, Lean, Markdown |
|
🇺🇸 |
