Programmer | Languages Used | |||||
---|---|---|---|---|---|---|
1 |
|
4 hrs 42 mins | 40 mins | Coq, Nix, Rust, Python, TOML, C++, YAML, Typst, Bash, … | 🇨🇳 | |
2 |
|
1 hr 19 mins | 13 mins | TeX, Markdown, Coq, C++, JSON, C, CMake, Text, Git Config, … | ||
3 |
|
12 mins | 1 min | Lean, Python, Bash, Coq, TeX, OCaml, Makefile, JSON, Git Config, … | 🇺🇸 | |
4 |
|
3 mins | 0 secs | TeX, YAML, Mustache, gitrebase, Coq, Git, sshconfig, OCaml, Markdown | hireable | 🇺🇸 |