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
• 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
• FriendlyUser / LatexDiagrams
  Latex Diagrams that I have generated/taken from internet.
  ☆196Updated 7 months ago
• texworld / blacktex
  Cleans up your LaTeX files.
  ☆153Updated last year
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆47Updated last year
• martinbjeldbak / beamertheme-bjeldbak
  A simple, minimalistic Beamer theme to keep eyes on the content
  ☆86Updated 4 years ago
• chrmatt / algpseudocodex
  LaTeX package for typesetting pseudocode.
  ☆42Updated last week
• michaelchanwahyan / latex_templates
  Prof. S. Boyd's LaTeX Templates
  ☆13Updated 6 years ago
• sanhacheong / stanford-beamer-presentation
  This is an unofficial LaTeX Beamer presentation template for Stanford University.
  ☆58Updated 6 years ago
• mossr / julia-tufte-beamer
  Tufte-style beamer template with Julia integration
  ☆130Updated last year
• f0nzie / tikz_favorites
  collection of favorite TikZ graphics
  ☆203Updated 3 years ago
• udellgroup / orie7191
  Materials for ORIE 7191: Topics in Optimization for Machine Learning
  ☆44Updated 6 years ago
• jspitz / biblatex-publist
  BibLaTeX bibliography support for publication lists
  ☆40Updated last month
• mcmtroffaes / pycddlib
  A Python wrapper for Komei Fukuda's cddlib.
  ☆65Updated 3 months ago
• samcarter / tikzlings
  Collection of animals and other beings drawn in TikZ
  ☆96Updated last week
• LanaSina / better_poster_latex
  The Latex version of Mike Morrison's "better poster" template
  ☆108Updated 2 years ago
• ryantibs / statlearn-s23
  Course materials for Advanced Topics in Statistical Learning, Spring 2023
  ☆46Updated 5 months ago
• matthias-wolff / tikz-3dplot-circleofsphere
  Drawing circles of a sphere with tikz-3dplot
  ☆37Updated 4 years ago
• jhuggins / viabel
  Efficient, lightweight variational inference and approximation bounds
  ☆43Updated last year
• HolgerGerhardt / TeXTemplates
  LaTeX/XeLaTeX templates for academic publications: articles, dissertations, posters, and bachelor’s/master’s theses
  ☆171Updated last year
• rafaelbailo / betterposter-latex-template
  LaTeX Template for Mike Morrison's #betterposter
  ☆303Updated 5 years ago
• jgorham / SteinDiscrepancy.jl
  Practical tools for quantifying how well a sample approximates a target distribution
  ☆27Updated 4 years ago
• aterenin / SparseGPAX
  An ultra-lightweight JAX implementation of sparse Gaussian processes via pathwise sampling.
  ☆22Updated 4 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆79Updated 9 months ago
• vhbelvadi / LaTeX-lecture-notes-class
  A LaTeX document class for lecture notes—for a seminar, for an entire course with several lectures, or for brief talks.
  ☆100Updated last month
• corybrunson / beamerthemeuconn
  LaTeX Beamer themes for the University of Connecticut
  ☆26Updated last year
• alemelis / tikz_drawings
  drawings
  ☆55Updated 6 years ago
• anishathalye / auriga
  Auriga is a minimalist LaTeX beamer presentation theme 📽
  ☆366Updated 2 months ago
• kailashbuki / beamerthemesaarland
  Saarland Beamer Theme
  ☆64Updated 6 years ago
• slaue / genosolver
  GENO is a solver for non-linear optimization problems. It can solve constrained and unconstrained problems.
  ☆36Updated 4 months ago