| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 VTrelat
|
6 hrs 39 mins | 57 mins | TeX, Lean, Markdown, Python, sh, JSON, BibTeX | 🇩🇪 | |
| 2 |
 jinser lin
|
5 hrs 35 mins | 55 mins | Lean, Rust, Haskell, Python, SQL, Bash, Nix, YAML, conf, … | ||
| 3 |
 Yichen Xu
|
2 hrs 55 mins | 25 mins | Lean, TeX, Org, Scala | 🇨🇭 | |
| 4 |
 @themathqueen
|
1 hr 23 mins | 1 hr 23 mins | Lean | 🇬🇧 | |
| 5 |
 Alok Singh
|
13 mins | 2 mins | Swift, Python, Lean, JSON, Nushell, Haskell, Markdown, Metal, Bash, … | hireable | 🇺🇸 |
| 6 |
 Anonymous User
|
9 mins | 3 mins | Kotlin, OCaml, Markdown, TeX, Lean, sh, Gradle, GitIgnore file, Lua, … | hireable | 🇨🇳 |
