This package aims to provide a way to easily move LaTeX proofs in appendix.
☆28Jan 12, 2026Updated 3 months ago
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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LaTeX package for automatically putting proof environments in appendix☆32Updated this week
- Beautiful Ghibli colors☆13Aug 8, 2023Updated 2 years ago
- Method of Simulated Moments☆12Feb 23, 2022Updated 4 years ago
- This repository contains the public databases and code for the US Federal Debt project, which has been undertaken by Professor Tom Sargen…☆10Sep 11, 2018Updated 7 years ago
- Regresssion Discontinuity in R☆11Oct 29, 2025Updated 5 months ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Powerful LaTeX snippets for CS paper writing☆15Mar 19, 2026Updated 3 weeks ago
- lineno – Line numbers on paragraphs☆16Apr 8, 2026Updated last week
- Python code for Robust Identification of Investor Beliefs☆15Jan 6, 2021Updated 5 years ago
- ☆14Updated this week
- Code and algorithms for "Equilibrium Technology Diffusion, Trade, and Growth"☆18Dec 28, 2020Updated 5 years ago
- LaTeX package provides for input slides on note pages quickly for making annotations.☆14Mar 2, 2026Updated last month
- Some personal TeX packages☆12Feb 29, 2020Updated 6 years ago
- Highlight codes and demos with l3regex and lpeg☆17Mar 1, 2025Updated last year
- (Lua)TeX package to automatically remove widows and orphans from any document☆21Feb 19, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Analysis of the household consumption response to the Covid-19 crisis and the CAREs Act response☆20Jan 17, 2026Updated 3 months ago
- DBLP BibTeX - bibtex wrapper for automatic DBLP & IACR ePrint downloads☆20Mar 29, 2023Updated 3 years ago
- ☆11Feb 6, 2022Updated 4 years ago
- A Python 3.7 package for the econometric analysis of networks☆22Oct 10, 2024Updated last year
- Triple, quadruple, and n-fold paths and arrows with TikZ☆17Dec 26, 2023Updated 2 years ago
- Bayesian linear survival analysis with shrinkage priors in Stan☆25Dec 18, 2015Updated 10 years ago
- ☆19Oct 20, 2022Updated 3 years ago
- ☆19Feb 9, 2024Updated 2 years ago
- Practical tools for quantifying how well a sample approximates a target distribution☆28Aug 5, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Code for ICML 2021 paper "Regularizing towards Causal Invariance: Linear Models with Proxies" (ICML 2021)☆11Mar 14, 2022Updated 4 years ago
- Build kaldi inside docker containers with option for CUDA support☆12Feb 6, 2017Updated 9 years ago
- Python implementation of the Invariant Causal Prediction (ICP) algorithm, from the 2015 paper "Causal inference using invariant predictio…☆25Feb 15, 2024Updated 2 years ago
- Source code for Bazdresch, Kahn, Whited "Estimating and Testing Dynamic Corporate Finance Models"☆24Jul 22, 2017Updated 8 years ago
- A LaTeX class and package is provided which allows LaTeX diagrams or other LaTeX code to be compiled standalone or as part of a main docu…☆23Feb 22, 2025Updated last year
- Emacs minor mode for entering unicode math symbols☆11Dec 10, 2023Updated 2 years ago
- Export Jupyter Notebooks to (Xe)LaTeX with Greek Support☆13Nov 25, 2018Updated 7 years ago
- ☆10May 15, 2017Updated 8 years ago
- Slice sampling algorithms in Julia☆13Mar 8, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆13Mar 17, 2021Updated 5 years ago
- ☆29Mar 16, 2021Updated 5 years ago
- Compile Markdown files to beautiful PDF documents by pandoc and tectonic.☆10Mar 30, 2026Updated 2 weeks ago
- Redacted list of scientific Blockchain Conferences and Journals☆21Feb 27, 2023Updated 3 years ago
- GSoC 2019: Development of a Tool for Extracting Quantitative Text Profiles☆11Jul 7, 2020Updated 5 years ago
- LibreOffice customization and creation of legal Templates☆15Aug 21, 2018Updated 7 years ago
- C library for speech pre-processing.☆12Jun 7, 2019Updated 6 years ago