executablebooks / sphinx-proof
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
- Meta-package providing the oldest supported Numpy for a given Python version and platform☆55Updated 6 months ago
- Sphinx extension to let you write LaTeX math using $$☆34Updated last year
- Traitlets types for NumPy, SciPy and friends☆34Updated last year
- A pytest plugin that allows for the testing of C extension modules for Python, specifically created through cython☆20Updated 3 weeks ago
- Subsumed into xnd☆25Updated last year
- SciPy fixes and extensions☆18Updated 3 years ago
- ☆15Updated last year
- A defined interface for working with a cache of executed jupyter notebooks☆53Updated 2 weeks ago
- Run jupyter kernels in different environments (conda, virtualenv, docker, singularity, Lmod)☆25Updated last month
- Lexer and codec to work with LaTeX code in Python. Instead of using latexcodec, I encourage you to consider pylatexenc instead, which is …☆28Updated 11 months ago
- Sphinx extension using KaTeX to render math in HTML☆28Updated 10 months ago
- hypothes.is interaction layer with Sphinx☆23Updated last year
- A sphinx extension for including notebook files from outside sphinx source root.☆37Updated 6 months ago
- LaTeX and HTML builders for Sphinx - Python documentation project☆15Updated 9 years ago
- An experiment in trying to define a core and cleaned-up NumPy API: RNumPy☆13Updated 4 years ago
- Literate Python package development with Jupyter☆11Updated 6 months ago
- A GitHub action for setting up the Mamba package manager☆20Updated last year
- Prototype for mpl-gui module☆14Updated 2 months ago
- Python implementation of Mathematics of Arrays (MOA)☆23Updated 4 years ago
- A Sphinx extension for running sphinx-apidoc on each build☆61Updated last year
- Supporting LaTeX infrastructure for Jupyter Book☆29Updated last year
- A backend-dispatchable version of NumPy.☆19Updated 4 years ago
- A LaTeX package that incorporates sympy code, and it's output into your LaTeX documents☆35Updated 10 years ago
- Python checker for places where deprecated functions are called.☆30Updated last year
- A set of utilities for checking and grading matplotlib plots☆33Updated 7 years ago
- Build jupyterlite apps out of repositories☆30Updated 2 weeks ago
- Jupyter wrapper kernel for singular☆10Updated 9 months ago
- lazyarray is a Python package that provides a lazily-evaluated numerical array class, larray, based on and compatible with NumPy arrays.☆21Updated 6 months ago
- A conda-smithy repository for julia.☆23Updated 4 months ago