| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Héctor Menéndez
|
4 hrs 27 mins | 44 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 |
 @Antique
|
13 mins | 1 min | JSON, Python, Markdown, YAML, SMT, Text, CSV, HTML, TOML, … | 🇨🇳 | |
| 5 |
 @ksqsf
|
5 mins | 0 secs | YAML, Org, C, Rust, Lua, C++, Emacs Lisp, Haskell, Git, … | 🇨🇳 |
