odomanov's repositories
biblatex-gost
Biblatex styles for Russian GOST 7.0.5-2008 bibliography standard
org-roam-treeview
Tree view for Org-roam
ttsemantics
Type-theoretical explication of semantic phenomena
argumentation
Agda based Argumentation project.
Language:Agda000
cayenne
Resurrecting Lennart Augustsson's implementation of Cayenne
Language:Haskell000
citeproc
CSL citation processing library in Haskell
Language:HaskellBSD-2-Clause000
Language:AgdaGPL-3.0000
lsp-treemacs
lsp-mode :heart: treemacs
GPL-3.0000
nano-Agda
Tiny type-checker with dependent types
NOASSERTION000
org-roam
A fork of org-roam/org-roam.
Language:Emacs LispGPL-3.0000
org-roam-server
A Web Application to Visualize the Org-Roam Database
Language:HTMLMIT000
Language:Emacs LispGPL-3.0000
org-roam-ui
A graphical frontend for exploring your org-roam Zettelkasten
Language:TypeScriptGPL-3.0000
org-roam-v1
Rudimentary Roam replica with Org-mode
Language:Emacs LispGPL-3.0000
react-mde
📝 React Markdown Editor
MIT000
ttr
A type theory with records
Language:HaskellGPL-3.0000