Programmer | Languages Used | |||||
---|---|---|---|---|---|---|
1 |
|
28 hrs 27 mins | 5 hrs 41 mins | Coq, C++, Python, Text, CSV, Git Config, Java, Markdown, Bash, … | ||
2 |
|
16 hrs | 2 hrs 40 mins | Coq, Makefile, YAML, Bash, C, Git Config | 🇺🇸 | |
3 |
|
13 hrs 1 min | 2 hrs 10 mins | TeX, Coq, Python, Text, Makefile, C++, Markdown, BibTeX, OpenEdge ABL | 🇨🇳 | |
4 |
|
5 hrs 59 mins | 51 mins | Rust, Coq, LLVM, Text, Markdown, Bash, Git Config, HTML, C, … | 🇰🇷 | |
5 |
|
7 mins | 1 min | TeX, Bash, Markdown, Coq, Makefile, BibTeX, Git, OCaml | hireable | 🇺🇸 |