| 1 |
 Anonymous User
|
5 hrs 7 mins |
1 hr 16 mins |
Lean, Markdown, TOML, conf, YAML, Kotlin, AMPL, C++, Bash, … |
hireable |
🇨🇳 |
| 2 |
 Alok Singh
|
3 hrs 39 mins |
31 mins |
Lean, Swift, Metal, Bash, C, dirbuf, YAML, XML |
hireable |
🇺🇸 |
| 3 |
 gygggggggh
|
1 hr 48 mins |
27 mins |
C, Haskell, Lean |
|
🇫🇷 |
| 4 |
 VTrelat
|
1 hr 11 mins |
11 mins |
Isabelle, Python, Lean, sh, TeX, BibTeX, JSON, HTML |
|
🇩🇪 |
| 5 |
 Potato Hatsue
|
54 mins |
10 mins |
Kotlin, Lean, CMake, YAML, Java, XML, Text, C++, Java Properties, … |
|
|
| 6 |
 Mariana
|
48 mins |
24 mins |
Lean, JavaScript, Text |
|
🇧🇷 |
| 7 |
 jinser lin
|
6 mins |
1 min |
C++, Nix, Rust, GN, TOML, Python, Markdown, YAML, Lua, … |
|
|
