Pinned Repositories
argumentation
Agda based Argumentation project.
biblatex
Interim biblatex home during maintainer absence
biblatex-gost
Biblatex styles for Russian GOST 7.0.5-2008 bibliography standard
cayenne
Resurrecting Lennart Augustsson's implementation of Cayenne
org-roam-treeview
Tree view for Org-roam
org-roam-ui
A graphical frontend for exploring your org-roam Zettelkasten
ttsemantics
Type-theoretical explication of semantic phenomena
odomanov's Repositories
odomanov/biblatex-gost
Biblatex styles for Russian GOST 7.0.5-2008 bibliography standard
odomanov/org-roam-treeview
Tree view for Org-roam
odomanov/org-roam-ui
A graphical frontend for exploring your org-roam Zettelkasten
odomanov/ttsemantics
Type-theoretical explication of semantic phenomena
odomanov/biblatex
Interim biblatex home during maintainer absence
odomanov/argumentation
Agda based Argumentation project.
odomanov/cayenne
Resurrecting Lennart Augustsson's implementation of Cayenne
odomanov/citeproc
CSL citation processing library in Haskell
odomanov/formal-philosophy
odomanov/lsp-treemacs
lsp-mode :heart: treemacs
odomanov/nano-Agda
Tiny type-checker with dependent types
odomanov/org-roam
A fork of org-roam/org-roam.
odomanov/org-roam-server
A Web Application to Visualize the Org-Roam Database
odomanov/org-roam-speedbar
odomanov/org-roam-v1
Rudimentary Roam replica with Org-mode
odomanov/react-mde
📝 React Markdown Editor
odomanov/ttr
A type theory with records