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 |
🇨🇳 |