Programmer | Languages Used | |||||
---|---|---|---|---|---|---|
1 |
|
11 mins | 1 min | TeX, LaTeX source file, Python, Text, Makefile, Dafny, BibTeX bibliography file, BibTeX, LaTeX style file, … | ||
2 |
|
0 secs | 0 secs | YAML, Java, Docker, LaTeX source file, TeX, HTTP Request, TOML, TypeScript, HTML, … | 🇩🇪 | |
3 |
|
0 secs | 0 secs | Java, Markdown, LaTeX source file, TeX, XML, Go, Shell Script, textmate, GitIgnore file, … |