Programmer | Languages Used | |||||
---|---|---|---|---|---|---|
1 | VTrelat | 18 hrs 19 mins | 3 hrs 3 mins | Lean, Python, Markdown | 🇩🇪 | |
2 | Alok Singh | 4 hrs 22 mins | 37 mins | Lean, Python, dts, JSON, gitignore, Text, Markdown | hireable | 🇺🇸 |
3 | Anonymous User | 38 mins | 6 mins | TeX, Lean, Bash, hyprlang, conf, Lua, TOML, BibTeX, jsonc, … | hireable | 🇨🇳 |
4 | Yichen Xu | 34 mins | 5 mins | TeX, Emacs Lisp, Lean, Git | 🇨🇭 | |
5 | Potato Hatsue | 2 mins | 0 secs | Haskell, Java, Lean, Makefile |