1 |
Alok Singh
|
16 hrs 22 mins |
2 hrs 20 mins |
Lean, Python, Text, Markdown, Makefile, TeX, TOML, Bash, YAML, … |
hireable |
🇺🇸 |
2 |
VTrelat
|
8 hrs 53 mins |
1 hr 46 mins |
Lean, TeX, SMT, sh, JSON |
|
🇩🇪 |
3 |
Jason Gross
|
7 hrs 44 mins |
1 hr 6 mins |
Coq, Lean, Python, Org, TeX, JSON, TOML, CSV, HTML, … |
|
🇺🇸 |
4 |
Yichen Xu
|
6 hrs 30 mins |
55 mins |
Scala, Lean, Git, Org, Markdown, Emacs Lisp, TeX, Rust, Lua |
|
🇨🇭 |
5 |
Chutian Yang
|
3 hrs 26 mins |
29 mins |
Lean, Markdown, Lua, Makefile, Rust, Nix, Nushell, TOML |
hireable |
|
6 |
KokomiCat
|
2 hrs 55 mins |
43 mins |
Lean, Python, TeX, C, BibTeX, BST, Markdown, Text, Graphviz (DOT), … |
|
🇦🇺 |
7 |
Lslightly
|
2 hrs 19 mins |
20 mins |
Markdown, Lean, Python, Rust, Git, YAML |
|
🇨🇳 |
8 |
@montmorill
|
33 mins |
8 mins |
TypeScript, Lean, JavaScript, HTML, TSConfig, JSON, Rust, Markdown |
hireable |
🇨🇳 |
9 |
kAIto47802
|
9 mins |
1 min |
Python, C++, Bash, Markdown, TypeScript, TeX, Text, YAML, CSV, … |
hireable |
🇯🇵 |
10 |
Zend Wang
|
4 mins |
0 secs |
Python, Go, Svelte, Solidity, Text, Bash, JSON, SQL, TypeScript, … |
|
🇨🇳 |
11 |
@akelio
|
1 min |
0 secs |
Markdown, Bash, Python, Lean |
|
🇨🇳 |