| 1 |
 VTrelat
|
11 hrs 42 mins |
2 hrs 20 mins |
Lean, SMT, TeX, Python, CSV, JSON, sh, Bash |
|
🇩🇪 |
| 2 |
 @bronen
|
8 hrs 10 mins |
1 hr 10 mins |
Clojure, Lean, Markdown, Nix, Emacs Lisp, Org, Prolog, gitignore, YAML, … |
|
🇧🇷 |
| 3 |
 Chutian Yang
|
3 hrs 13 mins |
27 mins |
Markdown, Lean, Lua, Rust, Nix, EditorConfig, Makefile |
hireable |
|
| 4 |
 Alok Singh
|
2 hrs 9 mins |
18 mins |
Lean, TOML, JSON, Markdown |
hireable |
🇺🇸 |
| 5 |
 Jason Gross
|
1 hr 38 mins |
14 mins |
Python, TypeScript, Bash, JavaScript, Markdown, Lean, CSS, HTML, Text, … |
|
🇺🇸 |
| 6 |
 kAIto47802
|
1 hr 32 mins |
15 mins |
Python, TeX, Text, Markdown, Lean, Bash, HTML, BibTeX, JSON, … |
hireable |
🇯🇵 |
| 7 |
 @montmorill
|
1 hr 27 mins |
43 mins |
Lean, Markdown, Lua, TOML, JSON |
hireable |
🇨🇳 |
| 8 |
 Yichen Xu
|
23 mins |
3 mins |
Scala, Rust, Text, Org, Git, Markdown, Lean |
|
🇨🇭 |
| 9 |
 @kamome
|
0 secs |
0 secs |
Scala, Racket, Markdown, Python, Git Config, XML, Typst, Makefile, JSON, … |
hireable |
🇨🇳 |
