Programmer | Languages Used | |||||
---|---|---|---|---|---|---|
1 |
|
15 hrs 18 mins | 2 hrs 11 mins | Coq, Lean, Python, Org, Go, JavaScript, Shell, TeX, JSON, … | 🇺🇸 | |
2 |
|
3 hrs | 25 mins | Nix, Markdown, Rust, Coq, Python, Gradle Kotlin DSL, Groovy, Makefile, Text, … | 🇨🇳 | |
3 |
|
2 hrs 39 mins | 26 mins | TeX, Coq, Markdown, Text, C++, C, Python | ||
4 |
|
4 mins | 0 secs | Scala, Bluespec, Rust, Coq, Markdown, GitIgnore file, C++ | 🇨🇳 |