| 1 |
 Anonymous User
|
6 hrs 23 mins |
1 hr 3 mins |
Lean, typst, Markdown, Lua, TOML, JSON, conf, V, YAML, … |
hireable |
🇨🇳 |
| 2 |
 Potato Hatsue
|
2 hrs 39 mins |
26 mins |
Lean, Kotlin, CMake, YAML, Java, XML, Text, C++, Java Properties, … |
|
|
| 3 |
 Alok Singh
|
1 hr 26 mins |
12 mins |
Swift, Lean, Bash, XML, Metal, dirbuf, YAML |
hireable |
🇺🇸 |
| 4 |
 jinser lin
|
49 mins |
8 mins |
Nix, Rust, C++, Haskell, GN, Python, Lua, Lean, Markdown, … |
|
|
| 5 |
 Mariana
|
48 mins |
16 mins |
Vue.js, Lean, JavaScript, JSON, Text |
|
🇧🇷 |
| 6 |
 Anonymous User
|
34 mins |
34 mins |
Lean |
|
|
| 7 |
 Jason Gross
|
0 secs |
0 secs |
Python, Coq, TeX, Bash, BibTeX, YAML, Makefile, Text, Lean, … |
|
🇺🇸 |
