Programmer | Languages Used | |||||
---|---|---|---|---|---|---|
1 |
|
17 hrs 45 mins | 2 hrs 32 mins | Lean, Markdown, TeX, YAML, JSON, Python, Makefile, Bash, Swift | hireable | 🇺🇸 |
2 |
|
5 hrs 36 mins | 1 hr 52 mins | Lean, Racket, TeX | hireable | 🇨🇳 |
3 |
|
23 mins | 3 mins | Markdown, TeX, Python, Scala, Git, Org, Lean, Bash, conf, … | 🇨🇭 | |
4 |
|
2 mins | 0 secs | Lean4, Nix, Markdown, TOML, Lua, gitignore, Makefile, Lean | hireable |