| 1 |
 Yichen Xu
|
9 mins |
1 min |
Org, Lean4, Scala, Markdown, TeX, Typst, Coq, Emacs Lisp, Makefile, … |
|
🇨🇭 |
| 2 |
 Marcus
|
5 mins |
0 secs |
Markdown, TeX, C++, Python, C, CSV, Bash, INI, Git Config, … |
|
🇨🇭 |
| 3 |
 Jon
|
1 min |
0 secs |
C#, Markdown, YAML, .env file, TypeScript, Docker, Python, textmate, Makefile, … |
|
🇨🇭 |
| 4 |
 Pedro Pinheiro
|
0 secs |
0 secs |
C, Makefile, Text |
|
🇨🇭 |
| 5 |
 Romain
|
0 secs |
0 secs |
C++, C/C, Typst, Image (svg), C/C++, C, Markdown, Python, CMake, … |
|
🇨🇭 |
| 6 |
 Elwan
|
0 secs |
0 secs |
Typst, Python, YAML, TypeScript, XML, Markdown, Swift, Go, WebAssembly, … |
|
🇨🇭 |
| 7 |
 Yuejia Zhang
|
0 secs |
0 secs |
TeX, Text, Markdown, MATLAB, BibTeX, Git Config, Objective-C, Makefile |
|
🇨🇭 |
