executablebooks / sphinx-proofLinks
A Sphinx extension for producing proof, theorem, lemma, definition, remark, conjecture, corollary and algorithm directives.
☆35Updated last week
Alternatives and similar repositories for sphinx-proof
Users that are interested in sphinx-proof are comparing it to the libraries listed below
Sorting:
- Sphinx extension to let you write LaTeX math using $$☆34Updated this week
- Meta-package providing the oldest supported Numpy for a given Python version and platform☆54Updated last year
- Lexer and codec to work with LaTeX code in Python. Instead of using latexcodec, I encourage you to consider pylatexenc instead, which is …☆29Updated 7 months ago
- Convert ReStructuredText to MyST Markdown☆69Updated last week
- Traitlets types for NumPy, SciPy and friends☆36Updated 3 months ago
- Prototype for mpl-gui module☆15Updated last month
- Build a sphinx changelog from GitHub Releases☆29Updated last month
- A Sphinx extension for running sphinx-apidoc on each build☆64Updated 8 months ago
- pytest plugin to facilitate comparison of results to a pre-defined reference☆27Updated this week
- Sphinx extension using KaTeX to render math in HTML☆30Updated 7 months ago
- Simple markdown changelogs for GitHub repositories☆53Updated 2 weeks ago
- Sphinx extension for bibtex style references.☆187Updated 4 months ago
- Subsumed into xnd☆25Updated 2 years ago
- hypothes.is interaction layer with Sphinx☆25Updated 2 years ago
- cysignals: interrupt and signal handling for Cython. Source repository for https://pypi.org/project/cysignals/☆45Updated 3 months ago
- A defined interface for working with a cache of executed jupyter notebooks☆57Updated this week
- Sphinx extension for generating API documentation☆66Updated this week
- A cookiecutter recipe for building JupyterLab extensions.☆56Updated 3 years ago
- Supporting LaTeX infrastructure for Jupyter Book☆31Updated 2 years ago
- A pytest plugin that allows for the testing of C extension modules for Python, specifically created through cython☆20Updated last week
- A Binder repo for SageMath computing environment☆37Updated last week
- Generate conda environment.yml from PEP 621 and/or flit config.☆11Updated 4 years ago
- A GitHub action for setting up the Mamba package manager☆20Updated 2 years ago
- Live clone of https://sourceforge.net/p/docutils/code/HEAD/tree/.☆21Updated last week
- A MkDocs plugin for citation management using bibtex☆91Updated 3 months ago
- Render CLI arguments (sub-commands friendly) defined by the argparse module.☆25Updated last week
- Manage and update your installed fonts.☆25Updated last year
- An extension to use emoji codes in your Sphinx documentation! 😍☆55Updated last month
- Python routines for Monte Carlo integration. Written in Cython and Python for fast computations. @Naereen knows the installation is broke…☆32Updated 9 months ago
- A Sphinx extension that integrates JupyterLite within your Sphinx documentation☆93Updated this week