This package aims to provide a way to easily move LaTeX proofs in appendix.
☆29Jan 12, 2026Updated 7 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:
- A LaTeX package to use amsthm with a key-value interface☆33Aug 9, 2026Updated last week
- This is an Emacs mode that allows you to store overlays between sessions. This is useful for keeping your code folding in hideshow mode, …☆12Nov 28, 2016Updated 9 years ago
- Beautiful Ghibli colors☆14Aug 8, 2023Updated 3 years ago
- This repository contains the public databases and code for the US Federal Debt project, which has been undertaken by Professor Tom Sargen…☆11Sep 11, 2018Updated 7 years ago
- Regresssion Discontinuity in R☆11Oct 29, 2025Updated 9 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Powerful LaTeX snippets for CS paper writing☆15Aug 5, 2026Updated last week
- ☆14Jun 19, 2026Updated last month
- Python code for Robust Identification of Investor Beliefs☆15Jan 6, 2021Updated 5 years ago
- Analysis of the household consumption response to the Covid-19 crisis and the CAREs Act response☆20Jan 17, 2026Updated 7 months 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 5 months ago
- DBLP BibTeX - bibtex wrapper for automatic DBLP & IACR ePrint downloads☆20Mar 29, 2023Updated 3 years ago
- lineno – Line numbers on paragraphs☆16Apr 8, 2026Updated 4 months ago
- Savitzky-Golay differentiation filters☆13Mar 26, 2018Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- PHP & WordPress Syntax Highlight For WebStorm IDE☆11Feb 6, 2017Updated 9 years ago
- A Dimension reduction case resolution with the help of PCA and t-SNE☆11Aug 13, 2019Updated 7 years ago
- Easily typeset Control Block Diagrams and Signal Flow Graphs with TikZ/PGF☆12Feb 3, 2021Updated 5 years ago
- This package has been migrated to Codeberg. Only the Wiki is still here, because it is outdated.☆14Feb 5, 2026Updated 6 months ago
- A javascript math library with an emphasis on matrices.☆14Jan 6, 2023Updated 3 years ago
- A Python 3.7 package for the econometric analysis of networks☆22Oct 10, 2024Updated last year
- ☆11Feb 6, 2022Updated 4 years ago
- uEMG project☆14Oct 27, 2021Updated 4 years ago
- ☆19Feb 9, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆19Oct 20, 2022Updated 3 years ago
- Bayesian linear survival analysis with shrinkage priors in Stan☆25Dec 18, 2015Updated 10 years ago
- Continuous Integration with MATLAB on Azure DevOps☆14Updated this week
- Practical tools for quantifying how well a sample approximates a target distribution☆28Aug 5, 2020Updated 6 years ago
- Modern PID Control Implementation (Simplified) with Closed PID-Loop Model Following Control Tuning.☆15May 28, 2025Updated last year
- Blender for Video Production Quick Start Guide, published by Packt☆19Jan 18, 2023Updated 3 years ago
- A crash course on metaheuristics, graduate level☆15Jul 7, 2023Updated 3 years ago
- Build kaldi inside docker containers with option for CUDA support☆12Feb 6, 2017Updated 9 years ago
- Triple, quadruple, and n-fold paths and arrows with TikZ☆17Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Patronum: Ethereum RPC proxy that verifies RPC responses against given trusted block hashes☆24Dec 3, 2024Updated last year
- Source code for Bazdresch, Kahn, Whited "Estimating and Testing Dynamic Corporate Finance Models"☆24Jul 22, 2017Updated 9 years ago
- Slice sampling algorithms in Julia☆13Jul 19, 2026Updated 3 weeks ago
- ☆29Mar 16, 2021Updated 5 years ago
- Guide for the slp group on how to use the Grnet cluster☆11Apr 16, 2020Updated 6 years ago
- Bits of sweet C++ code that I use often.☆23Aug 7, 2019Updated 7 years ago
- Export Jupyter Notebooks to (Xe)LaTeX with Greek Support☆13Nov 25, 2018Updated 7 years ago