https://github.com/executablebooks/sphinx-proof

documentation python sphinx sphinx-extension

Score: 15.2818466267572

Last synced: about 19 hours ago
JSON representation

Repository metadata:

A Sphinx extension for producing proof, theorem, lemma, definition, remark, conjecture, corollary and algorithm directives.

Host: GitHub
URL: https://github.com/executablebooks/sphinx-proof
Owner: executablebooks
License: mit
Created: 2020-07-10T08:10:56.000Z (over 5 years ago)
Default Branch: main
Last Pushed: 2026-01-27T09:44:20.000Z (10 days ago)
Last Synced: 2026-01-30T08:39:57.352Z (8 days ago)
Topics: documentation, python, sphinx, sphinx-extension
Language: Python
Homepage: https://sphinx-proof.readthedocs.io/en/latest/
Size: 548 KB
Stars: 35
Watchers: 8
Forks: 22
Open Issues: 28
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- License: LICENSE

Owner metadata:

Name: Executable Books
Login: executablebooks
Email:
Kind: organization
Description: An open collaboration to create executable books with Jupyter
Website: https://executablebooks.org
Location:
Twitter:
Company:
Icon url: https://avatars.githubusercontent.com/u/57655115?v=4
Repositories: 84
Last Synced at: 2024-04-14T17:16:04.840Z
Profile URL: https://github.com/executablebooks

GitHub Events

Total

Create event: 23
Delete event: 21
Fork event: 6
Issue comment event: 44
Issues event: 7
Pull request event: 52
Pull request review comment event: 3
Pull request review event: 6
Push event: 57
Release event: 2
Watch event: 7
Total: 228

Last Year

Create event: 17
Delete event: 16
Fork event: 4
Issue comment event: 24
Issues event: 6
Pull request event: 38
Pull request review comment event: 3
Pull request review event: 6
Push event: 57
Release event: 2
Watch event: 3
Total: 176

Committers metadata

Last synced: 19 days ago

Total Commits: 176
Total Committers: 13
Avg Commits per committer: 13.538
Development Distribution Score (DDS): 0.489

Commits in past year: 26
Committers in past year: 4
Avg Commits per committer in past year: 6.5
Development Distribution Score (DDS) in past year: 0.5

Name	Email	Commits
najuzilu	j**i@g**m	90
AakashGC	a**e@g**m	38
Matt McKay	m****y	20
dependabot[bot]	4****]	17
pre-commit-ci[bot]	6****]	3
Vincent-Xavier JUMEL	e**n@t**t	1
Tomas Talasek	t**s@t**t	1
Toby Driscoll	d**l@u**u	1
Shailesh Kumar	s**k@g**m	1
Nicolas M. Thiéry	N**y@u**r	1
DrDrij	d**j@g**m	1
Dennis den Ouden-van der Horst	4****n	1
Dario Malchiodi	m**i@d**t	1

Issue and Pull Request metadata

Last synced: 8 days ago

Total issues: 58
Total pull requests: 134
Average time to close issues: about 2 months
Average time to close pull requests: about 1 month
Total issue authors: 25
Total pull request authors: 19
Average comments per issue: 2.55
Average comments per pull request: 1.88
Merged pull request: 86
Bot issues: 0
Bot pull requests: 52

Past year issues: 3
Past year pull requests: 28
Past year average time to close issues: about 2 months
Past year average time to close pull requests: 10 days
Past year issue authors: 3
Past year pull request authors: 7
Past year average comments per issue: 0.67
Past year average comments per pull request: 0.82
Past year merged pull request: 13
Past year bot issues: 0
Past year bot pull requests: 17

More stats: https://issues.ecosyste.ms/repositories/lookup?url=https://github.com/executablebooks/sphinx-proof

Top Issue Authors

mmcky (11)
AakashGfude (6)
nathanael-fijalkow (5)
najuzilu (4)
jstac (4)
shailesh1729 (3)
schwabts (3)
tobydriscoll (2)
ebridge2 (2)
choldgraf (2)
dtenbrinck (2)
gschramm (1)
vincentxavier (1)
kmoy1 (1)
KennethNielsen (1)

Top Pull Request Authors

dependabot[bot] (46)
najuzilu (22)
mmcky (20)
AakashGfude (14)
pre-commit-ci[bot] (6)
pjbruin (4)
11Haoyu (4)
tomastalasek (3)
nthiery (2)
MPenaR (2)
DrDrij (2)
dtenbrinck (2)
tobydriscoll (1)
vincentxavier (1)
Ljon4ik4 (1)

Top Issue Labels

bug (18)
enhancement (12)
documentation (1)

Top Pull Request Labels

dependencies (46)
github_actions (9)
maintenance (2)
enhancement (2)

Package metadata

Total packages: 1
Total downloads:
- pypi: 5,086 last-month
Total docker downloads: 159
Total dependent packages: 8
Total dependent repositories: 32
Total versions: 8
Total maintainers: 3

pypi.org: sphinx-proof

A Sphinx extension for producing proofs, theorems, axioms, etc.

Homepage: https://github.com/executablebooks/sphinx-proof
Documentation: https://sphinx-proof.readthedocs.io/
Licenses: BSD
Latest release: 0.3.0 (published 4 months ago)
Last Synced: 2026-01-19T11:35:49.103Z (18 days ago)
Versions: 8
Dependent Packages: 8
Dependent Repositories: 32
Downloads: 5,086 Last month
Docker Downloads: 159
Rankings:
- Dependent repos count: 2.59%
- Docker downloads count: 2.948%
- Dependent packages count: 3.281%
- Downloads: 5.968%
- Average: 6.274%
- Forks count: 10.204%
- Stargazers count: 12.655%
Maintainers (3)
- mmcky
- AakashGC
- najuzilu

Dependencies

docs/requirements.txt pypi

myst-parser *
sphinx >=3.0
sphinx-book-theme *
sphinx_togglebutton *
sphinxcontrib-bibtex *

setup.py pypi

docutils >=0.15

.github/workflows/ci.yml actions

actions/checkout v3 composite
actions/checkout v2 composite
actions/setup-python v4 composite
actions/setup-python v1 composite
codecov/codecov-action v1 composite
pre-commit/action v3.0.0 composite
pypa/gh-action-pypi-publish v1.3.1 composite

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Summary