| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Héctor Menéndez
|
3 hrs 6 mins | 37 mins | bigfile, SMT, Lean4, conf, TypeScript, GAP | hireable | 🇲🇽 |
| 2 |
 Mehrad Haghshenas
|
50 mins | 25 mins | Rust, SMT, Markdown | 🇳🇱 | |
| 3 |
 Till Vogelsang
|
32 mins | 16 mins | SMT, JSON, Python | hireable | 🇩🇪 |
| 4 |
 @ksqsf
|
5 mins | 0 secs | YAML, Org, C, Rust, Lua, C++, Emacs Lisp, Haskell, Git, … | 🇨🇳 | |
| 5 |
 @Antique
|
2 mins | 0 secs | JSON, Python, Markdown, YAML, Text, CSV, SMT, TOML, Git Config | 🇨🇳 |
