GitHub repository: leanprover/mdBook
Primary language: Rust
Description: Create book from markdown files. Like Gitbook but implemented in Rust