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, … | 🇬🇧 |