Programmer | Languages Used | |||||
---|---|---|---|---|---|---|
1 | Alok Singh | 5 hrs 50 mins | 1 hr 10 mins | Lean, Python, TypeScript, JSON, Agda, Lua, zsh, sh, TOML, … | hireable | 🇺🇸 |
2 | VTrelat | 2 hrs 5 mins | 31 mins | JavaScript, Lean, HTML, sh, CSS, TypeScript, Git, Markdown | 🇩🇪 | |
3 | Anonymous User | 8 mins | 1 min | TeX, Typst, Markdown, sh, Lean, hyprlang, Bash, Haskell, YAML, … | hireable | 🇨🇳 |