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
  ☆28Updated last month
• jspitz / biblatex-publist
  BibLaTeX bibliography support for publication lists
  ☆42Updated last month
• f0nzie / tikz_favorites
  collection of favorite TikZ graphics
  ☆209Updated 4 years ago
• anishathalye / auriga
  Auriga is a minimalist LaTeX beamer presentation theme 📽
  ☆385Updated 9 months ago
• johnjosephhorton / flatex
  A Python script for "flattening" a nested LaTeX document by pulling in all the \input files
  ☆68Updated last year
• rafaelbailo / betterposter-latex-template
  LaTeX Template for Mike Morrison's #betterposter
  ☆312Updated 6 years ago
• mossr / julia-tufte-beamer
  Tufte-style beamer template with Julia integration
  ☆135Updated last year
• jolars / moloch
  A LaTeX Beamer theme, forked from the metropolis theme
  ☆172Updated last week
• kai-tub / latex-beamer-pure-minimalistic
  A true minimalistic LaTeX beamer template
  ☆155Updated 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 4 years ago
• deselaers / latex-beamerposter
  The LaTeX beamerposter package
  ☆423Updated 3 years ago
• martinbjeldbak / beamertheme-bjeldbak
  A simple, minimalistic Beamer theme to keep eyes on the content
  ☆88Updated 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…
  ☆22Updated 6 years ago
• LanaSina / better_poster_latex
  The Latex version of Mike Morrison's "better poster" template
  ☆111Updated 2 years ago
• ViniciusBRodrigues / simple-tufte-beamer
  Simple and minimalistic beamer template using Tufte-LaTeX style
  ☆21Updated 2 years ago
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆82Updated 3 weeks ago
• ryantibs / statlearn-s23
  Course materials for Advanced Topics in Statistical Learning, Spring 2023
  ☆49Updated 3 months ago
• 01mf02 / pandocfilters
  Pandoc filters for scientific writing
  ☆18Updated 5 years ago
• awllee / SequentialMonteCarlo.jl
  A light interface to serial and multi-threaded Sequential Monte Carlo
  ☆32Updated 3 years ago
• alan-turing-institute / PDSampler.jl
  Piecewise Deterministic Sampler library (Bouncy particle sampler, Zig Zag sampler, ...)
  ☆33Updated 4 years ago
• HolgerGerhardt / TeXTemplates
  LaTeX/XeLaTeX templates for academic publications: articles, dissertations, posters, and bachelor’s/master’s theses
  ☆178Updated this week
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆48Updated 5 months ago
• chrmatt / algpseudocodex
  LaTeX package for typesetting pseudocode.
  ☆50Updated 6 months 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.
  ☆21Updated 2 years ago
• QuantEcon / lecture-jax
  Lectures on Quantitative Economics Using JAX
  ☆45Updated last month
• kailashbuki / beamerthemesaarland
  Saarland Beamer Theme
  ☆65Updated 6 years ago
• mitmath / 18338
  ☆104Updated last week
• betanalpha / quarto_chapters
  Book Chapter Drafts
  ☆36Updated last year
• LuZhangstat / Pathfinder
  ☆24Updated 3 years ago
• bancaditalia / black-it
  Black-box abm calibration kit by the Bank of Italy
  ☆56Updated 4 months ago