1 |
@themathqueen
|
72 hrs 51 mins |
10 hrs 24 mins |
Lean, YAML, Git Config, JSON, Bash, Python, Batchfile, Ruby, Markdown |
|
🇬🇧 |
2 |
Yichen Xu
|
6 hrs 59 mins |
59 mins |
Lean, Org, Scala, Assembly, Python, Text, ActionScript, Git Config |
|
🇨🇭 |
3 |
Anonymous User
|
5 hrs 54 mins |
59 mins |
Lean, typst, Lua, conf, Text, YAML, Bash, Rust, Markdown, … |
hireable |
🇨🇳 |
4 |
Chin Zhe Ning
|
5 hrs 26 mins |
1 hr 5 mins |
Lean, PlantUML file, Python, Text, Java, C++, Markdown |
hireable |
🇸🇬 |
5 |
VTrelat
|
2 hrs 29 mins |
37 mins |
C++, Lean, Isabelle, TeX, Makefile, CSS, C |
|
🇩🇪 |
6 |
gygggggggh
|
1 hr 45 mins |
26 mins |
C, Lean, Haskell |
|
🇫🇷 |
7 |
Anonymous User
|
47 mins |
23 mins |
Lean, JSON, Markdown |
|
|
8 |
Alok Singh
|
33 mins |
4 mins |
Lean, Markdown, Metal, Swift, Bash, Haskell |
hireable |
🇺🇸 |
9 |
Vishal Lama
|
24 mins |
4 mins |
Scala, Lean, sbt, Haskell, GitIgnore file, textmate, Java Properties, JSON, Properties |
|
🇺🇸 |