Programmer | Languages Used | |||||
---|---|---|---|---|---|---|
1 |
|
16 hrs 8 mins | 2 hrs 18 mins | Lean, Markdown, TeX, JSON, Makefile, C++, YAML | hireable | 🇺🇸 |
2 |
|
9 hrs 19 mins | 1 hr 33 mins | Lean, Markdown, Makefile, Racket, TOML, JSON, TeX, Git Config | hireable | 🇨🇳 |
3 |
|
14 mins | 2 mins | TeX, Git, Scala, Org, Lean, Markdown, Python, Emacs Lisp | 🇨🇭 |