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

• PierreSenellart / apxproof
  LaTeX package for automatically putting proof environments in appendix
  ☆26Updated last year
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆48Updated last month
• bernarditaried / ZigZag-Sampling-Tutorial
  This tutorial is a basic guide to understanding the Zig-Zag Sampling method. This document is released with the aim of diffusion and shar…
  ☆21Updated 5 years ago
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆47Updated last year
• johnjosephhorton / flatex
  A Python script for "flattening" a nested LaTeX document by pulling in all the \input files
  ☆67Updated last year
• jspitz / biblatex-publist
  BibLaTeX bibliography support for publication lists
  ☆41Updated last month
• hackl / network2tikz
  A converter that takes a network (cnet, igraph, networkx, pathpy, ...) and creates a tikz-network for smooth integration into LaTeX.
  ☆52Updated 3 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆80Updated 11 months ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆47Updated 3 weeks ago
• amanuensisfrances / LaTeX-math-expressions-in-Typst
  A collection of Typst math commands/shortcuts defined for the purpose of having the same/similar names as LaTeX math expressions.
  ☆18Updated 2 years ago
• chrmatt / algpseudocodex
  LaTeX package for typesetting pseudocode.
  ☆45Updated 2 months ago
• simoninireland / simplicial
  Simplicial topology in Python
  ☆37Updated 2 months ago
• QuantEcon / lecture-jax
  Lectures on Quantitative Economics Using JAX
  ☆37Updated 3 weeks ago
• optsuite / optlib
  ☆56Updated last month
• udellgroup / orie7191
  Materials for ORIE 7191: Topics in Optimization for Machine Learning
  ☆44Updated 6 years ago
• marcodaniel / mdframed
  auto-split frame environment for LaTeX
  ☆67Updated 2 years ago
• alan-turing-institute / PDSampler.jl
  Piecewise Deterministic Sampler library (Bouncy particle sampler, Zig Zag sampler, ...)
  ☆33Updated 4 years ago
• jhuggins / viabel
  Efficient, lightweight variational inference and approximation bounds
  ☆43Updated last year
• PierreSenellart / erc-latex-template
  LaTeX template for ERC proposals
  ☆30Updated 3 years ago
• justindomke / pangolin
  probabilistic programming focused on fun
  ☆41Updated 8 months ago
• mcmtroffaes / pycddlib
  A Python wrapper for Komei Fukuda's cddlib.
  ☆66Updated 5 months ago
• prestsoftware / prest
  Revealed preference analysis and preference estimation from choice datasets
  ☆14Updated last week
• michaelchanwahyan / latex_templates
  Prof. S. Boyd's LaTeX Templates
  ☆13Updated 6 years ago
• kailashbuki / beamerthemesaarland
  Saarland Beamer Theme
  ☆64Updated 6 years ago
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆76Updated last month
• jgorham / SteinDiscrepancy.jl
  Practical tools for quantifying how well a sample approximates a target distribution
  ☆27Updated 4 years ago
• abhiagwl / vistan
  A simple library to run variational inference on Stan models.
  ☆32Updated 2 years ago
• trappmartin / AdvancedProbabilisticCircuits.jl
  Probabilistic Circuits in Julia
  ☆10Updated last year
• probcomp / GenParticleFilters.jl
  Building blocks for simple and advanced particle filtering in Gen.
  ☆26Updated last year
• PumasAI-Labs / Bayesian-Workshop
  Slides for Bayesian Workshops across the world
  ☆13Updated last year