Programmer | Languages Used | |||||
---|---|---|---|---|---|---|
1 |
|
10 hrs 52 mins | 1 hr 33 mins | Lean, Coq, Python, Bash, JSON, Markdown, HTML, Jinja, Git Config, … | 🇺🇸 | |
2 |
|
5 hrs 28 mins | 46 mins | Markdown, Nix, Coq, Lean, Python, MATLAB, YAML, Haskell, Rust, … | 🇨🇳 | |
3 |
|
5 hrs 4 mins | 43 mins | C++, Coq, CSV, Markdown, Python, OCaml, C, JSON, Text, … | ||
4 |
|
12 mins | 4 mins | Rust, YAML, Bluespec, Markdown, Coq | 🇨🇳 |