| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Anonymous User
|
6 hrs 17 mins | 53 mins | Coq, Text, OCaml, Makefile, Rust, Markdown, Vyper, D, Git Config, … | ||
| 2 |
 @definfo
|
55 mins | 9 mins | Nix, C, Haskell, Markdown, Coq, Rust, Cabal Config, Text, YAML, … | 🇨🇳 | |
| 3 |
 Francisco Santos
|
16 mins | 2 mins | OCaml, TypeScript, TeX, Reason, HTML, C#, Markdown, Coq, XML, … | 🇵🇹 |
