| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Jason Gross
|
8 hrs 43 mins | 1 hr 14 mins | Coq, OCaml, Python, Bash, Docker, Makefile, Markdown, Lean, SSH Config, … | 🇺🇸 | |
| 2 |
 Anonymous User
|
4 hrs 27 mins | 38 mins | Coq, C, Rust, TeX, Markdown, Text, Makefile, OCaml | ||
| 3 |
 @definfo
|
4 mins | 0 secs | Nix, Typst, Markdown, TOML, Rust, C, YAML, CSS, JSON, … | 🇨🇳 |
