| 1 |
 VTrelat
|
14 hrs 39 mins |
2 hrs 5 mins |
Lean, Markdown, TeX, HTML, CSS, JSON, sh, OpenEdge ABL |
|
🇩🇪 |
| 2 |
 Alok Singh
|
9 hrs 53 mins |
1 hr 24 mins |
Lean, Python, TypeScript, JSON, SSH Key, TOML, Lua, Markdown, Makefile, … |
hireable |
🇺🇸 |
| 3 |
 Yichen Xu
|
5 hrs 27 mins |
1 hr 5 mins |
Lean, Scala, Git, TeX, Org, Markdown |
|
🇨🇭 |
| 4 |
 Jason Gross
|
2 hrs 55 mins |
25 mins |
Lean, Python, Coq, TeX, Makefile, OCaml, YAML, JSON, Bash, … |
|
🇺🇸 |
| 5 |
 KokomiCat
|
1 hr 25 mins |
12 mins |
TypeScript, JavaScript, Python, Lean, Text, HTML, JSON, JSON with Comments, Git Config, … |
|
🇦🇺 |
| 6 |
 Sergio Gomes
|
1 hr 4 mins |
21 mins |
Lean, OCaml |
|
🇧🇷 |
| 7 |
 tsrigo
|
47 mins |
11 mins |
Python, Bash, Lean, Text, TOML, YAML, C, JSON, Markdown, … |
|
🇨🇳 |
| 8 |
 @bronen
|
39 mins |
5 mins |
Rust, Clojure, Lean, TOML, JSON, Nix, Markdown, JavaScript, netrw, … |
|
🇧🇷 |
| 9 |
 kAIto47802
|
35 mins |
5 mins |
Python, TeX, Bash, Lean, Text, BibTeX, TOML, JSON, Markdown, … |
hireable |
🇯🇵 |
| 10 |
 @ZBrachinara
|
10 mins |
5 mins |
Typst, Rust, JSON, Lean |
|
🇺🇸 |
