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
  ☆27Updated last year
• rafaelbailo / betterposter-latex-template
  LaTeX Template for Mike Morrison's #betterposter
  ☆308Updated 5 years ago
• anishathalye / auriga
  Auriga is a minimalist LaTeX beamer presentation theme 📽
  ☆375Updated 5 months ago
• mossr / julia-tufte-beamer
  Tufte-style beamer template with Julia integration
  ☆136Updated last year
• martinbjeldbak / beamertheme-bjeldbak
  A simple, minimalistic Beamer theme to keep eyes on the content
  ☆86Updated 4 years ago
• f0nzie / tikz_favorites
  collection of favorite TikZ graphics
  ☆209Updated 3 years ago
• johnjosephhorton / flatex
  A Python script for "flattening" a nested LaTeX document by pulling in all the \input files
  ☆67Updated last year
• chrmatt / algpseudocodex
  LaTeX package for typesetting pseudocode.
  ☆47Updated 2 months ago
• 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
• kailashbuki / beamerthemesaarland
  Saarland Beamer Theme
  ☆65Updated 6 years ago
• LanaSina / better_poster_latex
  The Latex version of Mike Morrison's "better poster" template
  ☆111Updated 2 years ago
• pmichaillat / latex-presentation
  Minimalist LaTeX template for academic presentations
  ☆218Updated last month
• kai-tub / latex-beamer-pure-minimalistic
  A true minimalistic LaTeX beamer template
  ☆154Updated last year
• deselaers / latex-beamerposter
  The LaTeX beamerposter package
  ☆422Updated 3 years ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆48Updated 2 months ago
• johnjosephhorton / texscrap
  Python utility for making PDFs out of scraps of LaTeX.
  ☆15Updated 9 years ago
• bancaditalia / black-it
  Black-box abm calibration kit by the Bank of Italy
  ☆51Updated last month
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆77Updated this week
• jolars / moloch
  A LaTeX Beamer theme, forked from the metropolis theme
  ☆148Updated last month
• piazzai / arguelles
  Simple, typographic beamer theme
  ☆236Updated 6 months ago
• ccanonne / probabilitydistributiontoolbox
  Folklore facts on probability distribution learning, testing, and whatever-ing
  ☆262Updated 4 months ago
• mitmath / 18338
  ☆103Updated last month
• jspitz / biblatex-publist
  BibLaTeX bibliography support for publication lists
  ☆41Updated last month
• pmichaillat / latex-math
  LaTeX commands to write mathematical expressions
  ☆59Updated last month
• jackypacky / pgf-econ-graphs
  The repository for the guide: "Using pgfplots to make economic graphs in LaTeX".
  ☆52Updated 3 years ago
• mattiasvillani / AdvBayesLearnCourse
  Course material for the PhD course in Advanced Bayesian Learning
  ☆59Updated 4 months ago
• hazimehh / L0Learn
  Efficient Algorithms for L0 Regularized Learning
  ☆101Updated last year
• st-- / annotate-equations
  LaTeX package and annotated examples for annotating equations using TikZ.
  ☆543Updated 9 months ago
• maximelucas / AMCOS_booklet
  LaTeX template for scientific conference booklet, or book of abstracts
  ☆42Updated 5 years ago
• 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 6 years ago