| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Jason Gross
|
3 hrs 11 mins | 27 mins | Python, YAML, Coq, Bash, Makefile, D, HTML, Git Config, Org | 🇺🇸 | |
| 2 |
 Anonymous User
|
1 hr 6 mins | 9 mins | TeX, Coq, Text, BibTeX, Python, Markdown, CSV, C++, Assembly, … | ||
| 3 |
 @definfo
|
43 mins | 7 mins | Nix, Coq, Java, Markdown, Haskell, Rust, JSON, YAML, TOML, … | 🇨🇳 |
