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
  ☆29Updated 2 weeks ago
• johnjosephhorton / flatex
  A Python script for "flattening" a nested LaTeX document by pulling in all the \input files
  ☆70Updated last year
• anishathalye / auriga
  Auriga is a minimalist LaTeX beamer presentation theme 📽
  ☆393Updated 11 months ago
• bancaditalia / black-it
  Black-box abm calibration kit by the Bank of Italy
  ☆58Updated 2 months ago
• mossr / julia-tufte-beamer
  Tufte-style beamer template with Julia integration
  ☆140Updated 2 years ago
• jspitz / biblatex-publist
  BibLaTeX bibliography support for publication lists
  ☆43Updated last month
• kai-tub / latex-beamer-pure-minimalistic
  A true minimalistic LaTeX beamer template
  ☆156Updated last year
• hackl / network2tikz
  A converter that takes a network (cnet, igraph, networkx, pathpy, ...) and creates a tikz-network for smooth integration into LaTeX.
  ☆53Updated 4 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
• rafaelbailo / betterposter-latex-template
  LaTeX Template for Mike Morrison's #betterposter
  ☆313Updated 6 years ago
• ccanonne / probabilitydistributiontoolbox
  Folklore facts on probability distribution learning, testing, and whatever-ing
  ☆268Updated 5 months ago
• jolars / moloch
  Moloch is a minimalist, feature-rich Beamer theme for LaTeX presentations with a clean design and extensive customization options.
  ☆198Updated this week
• LanaSina / better_poster_latex
  The Latex version of Mike Morrison's "better poster" template
  ☆112Updated 3 years ago
• ColCarroll / couplings
  Unbiased MCMC with couplings
  ☆19Updated 6 years ago
• mitmath / 18338
  ☆105Updated this week
• awllee / SequentialMonteCarlo.jl
  A light interface to serial and multi-threaded Sequential Monte Carlo
  ☆32Updated 4 years ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆50Updated 8 months ago
• QuantEcon / lecture-jax
  Lectures on Quantitative Economics Using JAX
  ☆48Updated last week
• simomarsili / ndd
  Bayesian entropy estimation in Python - via the Nemenman-Schafee-Bialek algorithm
  ☆50Updated 5 years ago
• thisiscam / math-with-slack
  Rendered math (MathJax) with Slack's desktop client
  ☆318Updated 2 years ago
• icme / cme257-advanced-julia
  Advanced Topics in Scientific Computing with Julia
  ☆93Updated 6 years ago
• mattiasvillani / AdvBayesLearnCourse
  Course material for the PhD course in Advanced Bayesian Learning
  ☆60Updated 10 months ago
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆86Updated 2 weeks ago
• gerw / mathbin
  Binaries for mathematicians
  ☆10Updated 10 months ago
• chrmatt / algpseudocodex
  LaTeX package for typesetting pseudocode.
  ☆51Updated 9 months ago
• martinbjeldbak / beamertheme-bjeldbak
  A simple, minimalistic Beamer theme to keep eyes on the content
  ☆89Updated 5 years ago
• f0nzie / tikz_favorites
  collection of favorite TikZ graphics
  ☆211Updated 4 years ago
• pmichaillat / latex-presentation
  Minimalist LaTeX template for academic presentations
  ☆247Updated last month
• probsys / AutoGP.jl
  Automated Bayesian model discovery for time series data
  ☆84Updated last month
• 01mf02 / pandocfilters
  Pandoc filters for scientific writing
  ☆18Updated 5 years ago