Popular repositories Loading

1. biblatex-gost biblatex-gost Public

   Biblatex styles for Russian GOST 7.0.5-2008 bibliography standard

   TeX 69 9

2. ttsemantics ttsemantics Public

   Type-theoretical explication of semantic phenomena

   Agda 3

3. org-roam-ui org-roam-ui Public

   Forked from org-roam/org-roam-ui

   A graphical frontend for exploring your org-roam Zettelkasten

   TypeScript 3 1

4. org-roam-treeview org-roam-treeview Public

   Tree view for Org-roam

   Emacs Lisp 3

5. biblatex biblatex Public

   Forked from plk/biblatex

   Interim biblatex home during maintainer absence

   TeX 2

6. argumentation argumentation Public

   Agda based Argumentation project.

   Agda