| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 VTrelat
|
21 hrs 26 mins | 3 hrs 34 mins | Lean, JSON, sh | 🇩🇪 | |
| 2 |
 Anonymous User
|
10 hrs 45 mins | 1 hr 32 mins | Lean, Typst, Rust, Bash, conf, TypeScript, Markdown, JSON, hyprlang, … | hireable | 🇨🇳 |
| 3 |
 Alok Singh
|
4 hrs 42 mins | 40 mins | Lean, Python, TypeScript, JSON, Markdown, JavaScript, CSS, TSConfig, gitignore | hireable | 🇺🇸 |
