| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 @definfo
|
2 hrs 19 mins | 19 mins | Rust, Nix, Coq, YAML, TypeScript, Astro, JSON, TOML, JavaScript, … | 🇨🇳 | |
| 2 |
 Anonymous User
|
45 mins | 6 mins | Rust, Markdown, Text, Coq, OCaml, C, HTML, Python, TeX, … | ||
| 3 |
 Yichen Xu
|
21 mins | 3 mins | Scala, Markdown, Org, TeX, Coq, Lean4, Emacs Lisp, YAML, jsonl, … | 🇨🇭 |
