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, … |
|
|