| 1 |
 VTrelat
|
11 hrs 32 mins |
1 hr 39 mins |
Lean, Markdown, TeX, HTML, CSS, sh, OpenEdge ABL |
|
🇩🇪 |
| 2 |
 Yichen Xu
|
8 hrs 45 mins |
1 hr 45 mins |
Lean, Scala, TeX, Git, Org, Markdown, JSON |
|
🇨🇭 |
| 3 |
 Alok Singh
|
6 hrs 42 mins |
57 mins |
Python, Lean, TypeScript, JSON, SSH Key, Lua, TOML, Markdown, Makefile, … |
hireable |
🇺🇸 |
| 4 |
 @ZBrachinara
|
6 hrs 34 mins |
1 hr 38 mins |
Lean, Rust, JSON, Typst, Git, Text |
|
🇺🇸 |
| 5 |
 Jason Gross
|
2 hrs 55 mins |
25 mins |
Lean, Python, Coq, TeX, Makefile, OCaml, YAML, JSON, Bash, … |
|
🇺🇸 |
| 6 |
 Sergio Gomes
|
2 hrs 20 mins |
35 mins |
Lean, OCaml, TOML, Markdown |
|
🇧🇷 |
| 7 |
 Rodrigo Branco Citadin
|
2 hrs 17 mins |
22 mins |
Go, Lean, JSON, Lua, Protocol Buffer, Docker, Markdown, gitignore, Rust, … |
hireable |
🇧🇷 |
| 8 |
 KokomiCat
|
1 hr 35 mins |
13 mins |
TypeScript, JavaScript, Lean, Python, Text, HTML, JSON, iCalendar, JSON with Comments, … |
|
🇦🇺 |
| 9 |
 @definfo
|
1 hr |
8 mins |
Coq, Nix, Rust, C++, Python, Typst, Lean, YAML, Bash, … |
|
🇨🇳 |
| 10 |
 tsrigo
|
47 mins |
9 mins |
Python, Bash, Lean, Text, YAML, TOML, C, JSON, Markdown, … |
|
🇨🇳 |
| 11 |
 kAIto47802
|
14 mins |
2 mins |
Python, TeX, Text, Bash, Lean, BibTeX, TOML, Git Config, CSV, … |
hireable |
🇯🇵 |
| 12 |
 Potato Hatsue
|
2 mins |
0 secs |
Nix, Scala, Kotlin, CSV/TSV, Text, sbt, Lean, Markdown, Haskell, … |
|
|
