Programmer | Languages Used | |||||
---|---|---|---|---|---|---|
1 |
|
4 hrs 13 mins | 36 mins | Python, Rust, Coq, Markdown, YAML, Nix, Text, Bash, TeX, … | 🇺🇸 | |
2 |
|
2 hrs 20 mins | 28 mins | Markdown, Coq, Python, Nix, Makefile, OCaml, TOML, JSON, Text, … | 🇨🇳 | |
3 |
|
1 hr 6 mins | 11 mins | Coq, TeX, Markdown, C, Text, Bash, Rust, Makefile, BibTeX |