Repos by odomanov
odomanov / repos
7 repos
«1»
| Repo | Language | Stars | Rank | |
|---|---|---|---|---|
 | biblatex-gost | TeX | 68 | 1,563 |
| ttsemantics | Agda | 3 | 643 |
| org-roam-treeview | Emacs Lisp | 3 | 9,988 |
| argumentation | Agda | 0 | - |
| formal-philosophy | Agda | 0 | - |
| org-roam | Emacs Lisp | 0 | - |
| org-roam-speedbar | Emacs Lisp | 0 | - |