| 1 |
 VTrelat
|
11 hrs 56 mins |
1 hr 42 mins |
Lean, Markdown, TeX, HTML, CSS, sh, OpenEdge ABL |
|
🇩🇪 |
| 2 |
 Yichen Xu
|
10 hrs 17 mins |
2 hrs 3 mins |
Lean, TeX, Git, Scala, Org, Markdown, JSON |
|
🇨🇭 |
| 3 |
 @ZBrachinara
|
6 hrs 34 mins |
1 hr 18 mins |
Rust, Lean, JSON, Typst, Git, Text |
|
🇺🇸 |
| 4 |
 Alok Singh
|
3 hrs 54 mins |
33 mins |
Python, Lean, SSH Key, JSON, Lua, TypeScript, Makefile, TOML, Markdown, … |
hireable |
🇺🇸 |
| 5 |
 Jason Gross
|
2 hrs 55 mins |
25 mins |
Python, Lean, Coq, Makefile, OCaml, YAML, JSON, Bash, Git Config, … |
|
🇺🇸 |
| 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, Protocol Buffer, Lua, Markdown, Docker, gitignore, Rust, … |
hireable |
🇧🇷 |
| 8 |
 KokomiCat
|
1 hr 50 mins |
15 mins |
TypeScript, Lean, Python, JavaScript, Git Config, Text, HTML, Markdown, JSON, … |
|
🇦🇺 |
| 9 |
 @definfo
|
1 hr |
8 mins |
Coq, Rust, C++, Nix, Python, Lean, Typst, Makefile, TOML, … |
|
🇨🇳 |
| 10 |
 tsrigo
|
31 mins |
6 mins |
Python, Bash, Lean, Text, YAML, TOML, C, JSON, Markdown, … |
|
🇨🇳 |
| 11 |
 @RyanCargan
|
19 mins |
3 mins |
JavaScript, JSON, Lean, Git Config, Nix, TypeScript, Markdown, Bash, CSV, … |
|
🇱🇰 |
| 12 |
 kAIto47802
|
13 mins |
2 mins |
Python, TeX, Text, Bash, Lean, JSON, BibTeX, CSV, TOML, … |
hireable |
🇯🇵 |
| 13 |
 Potato Hatsue
|
4 mins |
1 min |
Nix, Scala, Lean, Text, sbt, Haskell, Markdown, Kotlin, Git Config, … |
|
|
