Programmer | Languages Used | |||||
---|---|---|---|---|---|---|
1 |
|
3 hrs 11 mins | 27 mins | Python, YAML, Coq, Bash, Makefile, D, HTML, Git Config, Org | 🇺🇸 | |
2 |
|
1 hr 6 mins | 9 mins | TeX, Coq, Text, BibTeX, Python, Markdown, CSV, C++, Assembly, … | ||
3 |
|
43 mins | 7 mins | Nix, Coq, Java, Markdown, Haskell, Rust, JSON, YAML, TOML, … | 🇨🇳 |