| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Héctor Menéndez
|
45 mins | 6 mins | TypeScript, Markdown, bigfile, SMT, conf, Bash, RPMSpec, JSON, Text, … | hireable | 🇲🇽 |
| 2 |
 VTrelat
|
13 mins | 2 mins | TeX, Lean4, JavaScript, Bash, SMT, Markdown, Git Config, JSON, TOML, … | 🇩🇪 | |
| 3 |
 Mehrad Haghshenas
|
2 mins | 0 secs | Markdown, Rust, YAML, Makefile, Ruby, Git Config, Python, Text, TOML, … | 🇳🇱 |
