This package aims to provide a way to easily move LaTeX proofs in appendix.
☆29Jan 12, 2026Updated 6 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☆34Jul 21, 2026Updated last week
- A LaTeX package to use amsthm with a key-value interface☆30Updated this week
- Thompson and Shampine's DDE_SOLVER, a Fortran library for delay differential equations.☆13Apr 8, 2026Updated 3 months ago
- Method of Simulated Moments☆12Feb 23, 2022Updated 4 years ago
- Beautiful Ghibli colors☆14Aug 8, 2023Updated 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.
- Powerful LaTeX snippets for CS paper writing☆15Jul 21, 2026Updated last week
- Python code for Robust Identification of Investor Beliefs☆15Jan 6, 2021Updated 5 years ago
- ☆15Apr 13, 2026Updated 3 months ago
- Analysis of the household consumption response to the Covid-19 crisis and the CAREs Act response☆20Jan 17, 2026Updated 6 months ago
- LaTeX package provides for input slides on note pages quickly for making annotations.☆14Jul 1, 2026Updated 3 weeks 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 3 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
- 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.
- uEMG project☆14Oct 27, 2021Updated 4 years ago
- ☆19Feb 9, 2024Updated 2 years ago
- ☆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☆15Updated this week
- Practical tools for quantifying how well a sample approximates a target distribution☆28Aug 5, 2020Updated 5 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
- 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.
- Build kaldi inside docker containers with option for CUDA support☆12Feb 6, 2017Updated 9 years ago
- 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
- traces and simulation/testbed code for offchain routing☆17Jun 21, 2022Updated 4 years ago
- Python implementation of the Invariant Causal Prediction (ICP) algorithm, from the 2015 paper "Causal inference using invariant predictio…☆27Feb 15, 2024Updated 2 years ago
- Slice sampling algorithms in Julia☆13Jul 19, 2026Updated last week
- For DJs - Import beatgrids from Traktor/Rekordbox to Engine Prime☆17Feb 2, 2020Updated 6 years ago
- Guide for the slp group on how to use the Grnet cluster☆11Apr 16, 2020Updated 6 years ago
- The swiss knife of Denon's Engine PRIME☆13Apr 30, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Export Jupyter Notebooks to (Xe)LaTeX with Greek Support☆13Nov 25, 2018Updated 7 years ago
- Redacted list of scientific Blockchain Conferences and Journals☆22Feb 27, 2023Updated 3 years ago
- Create and revise bibtex entries from DBLP☆26Mar 3, 2026Updated 4 months ago
- Command line tool to kickstart installing packages after a fresh install. Support Linux distros / OSX☆11Feb 5, 2023Updated 3 years ago
- Test equality between a black-box LLM API and a reference distribution☆20Oct 29, 2024Updated last year
- OOP examples in Java☆11May 13, 2024Updated 2 years ago
- TheWebConf'24 full paper - "Linear-Time Graph Neural Networks for Scalable Recommendations"☆21May 22, 2026Updated 2 months ago