1 |
VTrelat
|
15 hrs 19 mins |
2 hrs 33 mins |
Lean, Markdown, TeX, sh |
|
🇩🇪 |
2 |
Jason Gross
|
13 hrs 55 mins |
1 hr 59 mins |
Lean, Coq, Python, Bash, JSON, Markdown, HTML, Jinja, Git Config, … |
|
🇺🇸 |
3 |
@kamome
|
8 hrs 20 mins |
1 hr 23 mins |
Lean, Typst, Scala, Markdown |
hireable |
🇨🇳 |
4 |
Alok Singh
|
8 hrs 2 mins |
1 hr 8 mins |
Lean, Python, Makefile, Markdown, TOML, JSON, Text, Git Config |
hireable |
🇺🇸 |
5 |
KokomiCat
|
5 hrs |
50 mins |
Lean, Python, Bash, C, Git Config, Text, Markdown, ca65 assembler |
|
🇦🇺 |
6 |
@definfo
|
2 hrs 35 mins |
22 mins |
Markdown, Nix, Coq, Lean, Python, MATLAB, YAML, Haskell, Rust, … |
|
🇨🇳 |
7 |
kAIto47802
|
2 hrs 5 mins |
25 mins |
Python, Lean, Text, C++, Bash, JSON, Markdown |
hireable |
🇯🇵 |
8 |
Yichen Xu
|
55 mins |
7 mins |
Scala, Git, Lean, Markdown, Python, Rust, WebAssembly, Git Config, TOML |
|
🇨🇭 |
9 |
@RanolP
|
9 mins |
1 min |
TypeScript, Typst, JavaScript, Rust, Markdown, Text, JSON, Go, YAML, … |
|
|
10 |
@strn
|
6 mins |
1 min |
Python, MDX, Markdown, Text, HTML, C, Lean, QML, Bash, … |
|
🇸🇪 |