| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 dustbin
|
1 hr 50 mins | 22 mins | C++, TableGen, MLIR, C, CMake, PHP, Objective-C, JSON, Markdown, … | hireable | 🇨🇳 |
| 2 |
 Anonymous User
|
1 hr 8 mins | 13 mins | C++, JSON, Bash, MLIR, XML, Text, Python | 🇨🇳 | |
| 3 |
 Yichen Xu
|
2 mins | 0 secs | Lean4, Markdown, Scala, TeX, Emacs Lisp, TOML, Python, Lean, Bash, … | 🇨🇭 |
