leo-colisson / proof-at-the-end
This package aims to provide a way to easily move LaTeX proofs in appendix.
☆25Updated last year
Alternatives and similar repositories for proof-at-the-end
Users that are interested in proof-at-the-end are comparing it to the libraries listed below
Sorting:
- LaTeX package for automatically putting proof environments in appendix☆26Updated last year
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated last week
- AeMCMC is a Python library that automates the construction of samplers for Aesara graphs representing statistical models.☆39Updated last year
- A Fast sketching based solver for large scale ridge regression☆17Updated 11 months ago
- Convex optimization modeling in Lean 4☆46Updated 11 months ago
- Bayesian entropy estimation in Python - via the Nemenman-Schafee-Bialek algorithm☆51Updated 4 years ago
- This tutorial is a basic guide to understanding the Zig-Zag Sampling method. This document is released with the aim of diffusion and shar…☆20Updated 5 years ago
- A python package for penalized generalized linear models that supports fitting and model selection for structured, adaptive and non-conve…☆58Updated 2 years ago
- ❓y0 (pronounced "why not?") is for causal inference in Python☆51Updated last week
- LaTeX package for typesetting pseudocode.☆43Updated 3 weeks ago
- Probabilistic programming system for fast and exact symbolic inference☆79Updated 10 months ago
- Benchmarks of Bayesian Nonparametric models in Turing and other PPLs☆28Updated 9 months ago
- A light interface to serial and multi-threaded Sequential Monte Carlo☆31Updated 3 years ago
- Binaries for mathematicians☆9Updated last month
- ☆13Updated 3 months ago
- Prof. S. Boyd's LaTeX Templates☆13Updated 6 years ago
- probabilistic programming focused on fun☆40Updated 6 months ago
- Building blocks for simple and advanced particle filtering in Gen.☆25Updated last year
- A converter that takes a network (cnet, igraph, networkx, pathpy, ...) and creates a tikz-network for smooth integration into LaTeX.☆52Updated 3 years ago
- Stationary distributions for arbitrary finite state Markov processes, including specializations for the Moran, Wright-Fisher, and other …☆21Updated 6 years ago
- Simple and minimalistic beamer template using Tufte-LaTeX style☆22Updated last year
- An HMC/NUTS implementation in Aesara☆32Updated last year
- "Discontinuous Hamiltonian Monte Carlo for sampling discrete parameters" by Akihiko Nishimura, David Dunson, Jianfeng Lu☆27Updated 6 years ago
- auto-split frame environment for LaTeX☆67Updated 2 years ago
- A Julia implementation of sparse Gaussian processes via path-wise doubly stochastic variational inference.☆33Updated 4 years ago
- some scripts for the couplings enthusiasts!☆32Updated 4 years ago
- Automated Bayesian model discovery for time series data☆72Updated 2 months ago
- GENO is a solver for non-linear optimization problems. It can solve constrained and unconstrained problems.☆36Updated 5 months ago
- BibLaTeX bibliography support for publication lists☆40Updated 2 months ago
- Painless optimisation of constrained variables in AutoGrad, TensorFlow, PyTorch, and JAX☆23Updated 2 years ago