| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Alok Singh
|
10 hrs 11 mins | 1 hr 27 mins | Lean, Python, JSON, TypeScript, SSH Key, Markdown, TOML, Lua, Makefile, … | hireable | 🇺🇸 |
| 2 |
 kAIto47802
|
35 mins | 5 mins | TeX, Python, Bash, Lean, Text, Rust, BibTeX, JSON, TOML, … | hireable | 🇯🇵 |
| 3 |
 Rodolfo Ruiz
|
12 mins | 3 mins | Python, Bash, Lean, Docker, CSV, Text, JSON, Markdown | hireable | |
| 4 |
 @SmileMachine
|
6 mins | 1 min | Python, JavaScript, Rust, CSS, HTML, TypeScript, Markdown, JSON, Text, … | hireable | 🇨🇳 |
