Programmer | Languages Used | |||||
---|---|---|---|---|---|---|
1 |
|
9 hrs 16 mins | 1 hr 19 mins | Coq, Markdown, Nix, MATLAB, TOML, Rust, Python, Lua, C++, … | 🇨🇳 | |
2 |
|
5 hrs 43 mins | 49 mins | Coq, C++, OCaml, CSV, Python, C, JSON, TeX, Text, … | ||
3 |
|
2 hrs 29 mins | 21 mins | TypeScript, Lean, Coq, Python, JavaScript, Markdown, JSON, TOML, TeX, … | 🇺🇸 |