| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 @definfo
|
7 hrs 49 mins | 1 hr 7 mins | Coq, Lean, Markdown, SQL, Nix, YAML, JSON, Vue.js, TOML, … | 🇨🇳 | |
| 2 |
 Jason Gross
|
5 hrs 1 min | 43 mins | Python, Coq, Text, Docker, OCaml, Makefile, Git Config, CSS, HTML, … | 🇺🇸 | |
| 3 |
 Anonymous User
|
54 mins | 9 mins | C++, Markdown, Coq, JSON, TeX, Python, CSV, CMake, Makefile, … | ||
| 4 |
 Jelly Terra
|
29 mins | 4 mins | Rust, Markdown, Astro, Coq, JSON, SystemVerilog, LALRPOP, Scala, TOML, … | 🇨🇳 |
