| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Jason Gross
|
17 hrs 3 mins | 2 hrs 26 mins | Coq, Bash, Docker, Markdown, Python, HTML, JSON | 🇺🇸 | |
| 2 |
 Francisco Santos
|
3 hrs 10 mins | 31 mins | OCaml, Coq, lisp, Puppet, Markdown, JSON, SQL, Makefile, sh, … | 🇵🇹 | |
| 3 |
 Anonymous User
|
1 hr 6 mins | 16 mins | Rust, Coq, Markdown, C++, OCaml, Makefile, Assembly | ||
| 4 |
 @definfo
|
1 hr 5 mins | 10 mins | Nix, Typst, Haskell, Coq, Cabal Config, Markdown, Makefile, Bash, YAML, … | 🇨🇳 | |
| 5 |
 Yichen Xu
|
8 mins | 1 min | Lean4, Markdown, Scala, Emacs Lisp, TOML, Python, Lean, HTML, Bash, … | 🇨🇭 |
