| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Alok Singh
|
8 hrs 43 mins | 1 hr 14 mins | Lean, Python, TeX, Markdown, JSON, TOML, Makefile, BibTeX, C, … | hireable | 🇺🇸 |
| 2 |
 Jason Gross
|
58 mins | 8 mins | Coq, Python, Go, TeX, Lean, HTML, Assembly, Markdown, JavaScript, … | 🇺🇸 | |
| 3 |
 Nikolay Kolev
|
6 mins | 0 secs | terraform, Go, Rust, Swift, Terraform, YAML, TypeScript, Mustache, Pkl, … | hireable | 🇺🇸 |
