Smaug6739 / Alexandrie

Self-hosted, offline-capable knowledge base and wiki with an extended Markdown editor, team workspaces, and OIDC SSO.

fabio-rovai / open-ontologies

Rust CLI and MCP server that plans, applies and rolls back changes to an OWL ontology, reporting blast radius and emitting checkable Lean 4 proofs.

logseq / logseq

Open-source, local-first note-taking and knowledge management app with outlining, bidirectional links, PDF annotation, and task management.