Programmer | Languages Used | |||||
---|---|---|---|---|---|---|
1 | VTrelat | 12 hrs 13 mins | 2 hrs 26 mins | Lean, sh, HTML, Batchfile, CSS, Markdown, JSON, Git Config | 🇩🇪 | |
2 | Anonymous User | 8 hrs 10 mins | 1 hr 38 mins | Lean, Kotlin, conf, typst, HTML, Markdown, INI | hireable | 🇨🇳 |
3 | HauHeung | 5 hrs 33 mins | 1 hr 6 mins | Lean, Emacs Lisp, Org, Git Config | 🇯🇵 | |
4 | @themathqueen | 5 hrs 32 mins | 2 hrs 46 mins | Lean | 🇬🇧 | |
5 | Alok Singh | 1 hr 41 mins | 14 mins | Swift, Lean, Metal | hireable | 🇺🇸 |
6 | hmyuuu | 2 mins | 0 secs | Python, Julia, TOML, Text, Markdown, reStructuredText, JSON, TeX, Lean, … | 🇨🇳 |