Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Doc Gen

Generate HTML documentation for mathlib and Lean
Stars
18
License
apache-2.0
Open Issues
32
Most Recent Commit
7 months ago
Programming Language
Python
Categories
Site
Repo
Suggest An Alternative To doc-gen
Popular Documentation Generator Projects
Redoc ⭐ 22,415
📘 OpenAPI/Swagger-generated API Reference Documentation
dependent packages 85total releases 221latest release October 25, 2023most recent commit a month agonpm redoc} Downloads
Typedoc ⭐ 7,165
Documentation generator for TypeScript projects.
dependent packages 33,219total releases 286latest release November 26, 2023most recent commit 3 months agonpm typedoc} Downloads
Nbdev ⭐ 4,644
Create delightful software with Jupyter Notebooks
dependent packages 146total releases 155latest release October 19, 2023most recent commit 4 months agopypi nbdev} Downloads
Jupyter Book ⭐ 3,603
Create beautiful, publication-quality books and documents from computational content.
dependent packages 130total releases 46latest release March 14, 2023most recent commit 3 months agopypi jupyter-book} Downloads
Dumi ⭐ 3,336
📖 Static Site Generator for component library development
dependent packages 3,359total releases 297latest release November 28, 2023most recent commit 3 months agonpm dumi} Downloads
Popular Hosts Projects
Popular Content Management Categories
Wordpress
Content Management System
Slides
Jekyll
Wiki
Portfolio
Magento
Rss
Readme
Gatsby
Related Searches
Python Hosts
Python Local Development
Python Documentation Generator
Python Lean
Hosts Local Development
Hosts Lean

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Python
Hosts
Documentation Generator
Local Development
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.