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