| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Arsh Singh
|
2 hrs 8 mins | 18 mins | TeX, OCaml, TypeScript, JSON, JavaScript, Markdown, Python, Git Config, Bash, … | hireable | 🇺🇸 |
| 2 |
 Josh Levy
|
1 hr 24 mins | 42 mins | OCaml | hireable | 🇺🇸 |
| 3 |
 Alok Singh
|
1 hr 2 mins | 8 mins | Lean4, Markdown, OCaml, TOML, Python, Bash, HTML, Makefile, JSON, … | hireable | 🇺🇸 |
