The fastest knowledge base for growing teams. Beautiful, realtime collaborative, feature packed, and markdown compatible.

CommonMark + GFM compatible Markdown parser and renderer

WhatsApp CLI: sync, search, send

Executes commands in response to file modifications

GitHub’s official command line tool

markdown processor powered by plugins part of the @unifiedjs collective

Lean documentation authoring tool

Theorem Proving in Lean 4

Markdown for the component era

CommonMark compliant markdown parser in Rust with ASTs and extensions

Pluggable and configurable code formatting platform written in Rust that unifies all your formatters in one tool.

Markdown Abstract Syntax Tree format

AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods

Research code base for Automatic Textbook Formalization

Document Generator for Lean 4

Scientific computing in Lean 4

The math library of Lean 4

Spanish legislation as a Git repo — every law is a Markdown file, every reform a commit. 8,600+ laws.

A Markdown formatter that enforces Hong Minhee's Markdown style conventions

Markdown parser, done right. 100% CommonMark support, extensions, syntax plugins & high speed

ⵣ Ki Editor - Multi-cursor combinatoric modal editor.

Connect to remote ffmpeg servers

Sioyek is a PDF viewer with a focus on textbooks and research papers

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

Cloud Native Runtime Security

🏔 Love Freedom - ❌ Block Mass Surveillance

Review and refine Git diffs before you push

A human-writable text format for musical notes, timing, and expression.

Beautiful and reliable typst code formatter

Fast Markdown linter and formatter written in Rust