huterguier's repositories
obsidian-spaced-repetition
Fight the forgetting curve by reviewing flashcards & entire notes on Obsidian.md
MIT000
obsidian-releases
Community plugins list, theme list, and releases of Obsidian.
000
obsidian-graph
An extended Graph-View for Obsidian!
Language:TypeScriptMIT000
huterguier
Config files for my GitHub profile.
000
Language:TypeScriptMIT000
obsidian-pseudo-code
Adds "pseudo"-code blocks that render Markdown.
Language:TypeScript000
Language:JavaScript000
obsidian-citations
Obsidian plugin which integrates your academic reference manager with the Obsidian editor. Search your references from within Obsidian and automatically create and reference literature notes for papers and books.
MIT000
Language:Lean000
kalkulierbar
Learning Framework for Logic Calculi
Language:TypeScriptGPL-3.0000