| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 vikraman
|
1 hr 20 mins | 26 mins | Agda, TeX, Text, Makefile | hireable | 🇮🇹 |
| 2 |
 Anonymous User
|
23 mins | 3 mins | Lean, typst, Markdown, V, Lua, Agda, TOML, JSON, conf, … | hireable | 🇨🇳 |
| 3 |
 Anillc
|
14 mins | 2 mins | Scala, CMake, SystemVerilog, Nix, Agda, Go, C++, Rust, Git Config, … | 🇨🇳 | |
| 4 |
 longfangsong
|
6 mins | 0 secs | Rust, Python, Text, C, Agda, YAML, TOML, Markdown, Git Config | ||
| 5 |
 @0x4248
|
0 secs | 0 secs | HTML, Java, C++, Haskell, Markdown, Python, Fortran, JSON, Bash, … | 🇬🇧 |
