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