| 1 |
 VTrelat
|
11 hrs 34 mins |
1 hr 55 mins |
Lean, sh, JSON, C, HTML, BibTeX |
|
🇩🇪 |
| 2 |
 Alok Singh
|
7 hrs 8 mins |
1 hr 1 min |
Lean, Markdown, Python, JSON, JavaScript, C, Bash, Docker, YAML, … |
hireable |
🇺🇸 |
| 3 |
 Yichen Xu
|
5 hrs 41 mins |
1 hr 8 mins |
Lean, TeX |
|
🇨🇭 |
| 4 |
 @bearwatcher
|
4 hrs 32 mins |
54 mins |
Python, Lean, Org, Go, C++, JSON, Dart, Java, Text, … |
|
🇨🇦 |
| 5 |
 Anonymous User
|
1 hr 32 mins |
13 mins |
Lean, C#, Text, Python, JSON, UnityYaml |
|
|
| 6 |
 hmyuuu
|
47 mins |
6 mins |
Julia, Lean, Markdown, YAML, TypeScript, JSON, Vue.js, HTML, Groff, … |
|
🇨🇳 |
| 7 |
 Anonymous User
|
24 mins |
3 mins |
Python, C++, Lean, C, CMake, ObjectiveC, Lua, Bash |
|
|
