This package aims to provide a way to easily move LaTeX proofs in appendix.
☆29Jan 12, 2026Updated 5 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☆33Jun 2, 2026Updated 2 weeks ago
- Stores LaTeX content in memory or files☆14May 31, 2026Updated 2 weeks ago
- A LaTeX package to use amsthm with a key-value interface☆29Jun 2, 2026Updated 2 weeks ago
- Emacs mode for Maple☆13Jan 23, 2022Updated 4 years ago
- Thompson and Shampine's DDE_SOLVER, a Fortran library for delay differential equations.☆13Apr 8, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Beautiful Ghibli colors☆14Aug 8, 2023Updated 2 years ago
- Regresssion Discontinuity in R☆11Oct 29, 2025Updated 7 months ago
- lineno – Line numbers on paragraphs☆16Apr 8, 2026Updated 2 months ago
- ☆14May 13, 2026Updated last month
- Dot emacs file.☆18Sep 21, 2022Updated 3 years ago
- PRICAI 2021 Full Paper —— Off-TANet:A Lightweight Neural Micro-expression Recognizer with Optical Flow Features and Integrated Attention …☆11Aug 19, 2022Updated 3 years ago
- ☆15Apr 13, 2026Updated 2 months ago
- 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.☆14May 13, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Collection of LaTeX utility packages for scientific documents☆17Sep 13, 2023Updated 2 years ago
- Some personal TeX packages☆12Feb 29, 2020Updated 6 years ago
- Highlight codes and demos with l3regex and lpeg☆17Mar 1, 2025Updated last year
- Analysis of the household consumption response to the Covid-19 crisis and the CAREs Act response☆20Jan 17, 2026Updated 5 months ago
- ☆11Feb 6, 2022Updated 4 years ago
- Triple, quadruple, and n-fold paths and arrows with TikZ☆17Dec 26, 2023Updated 2 years ago
- A Python 3.7 package for the econometric analysis of networks☆22Oct 10, 2024Updated last year
- Bayesian linear survival analysis with shrinkage priors in Stan☆25Dec 18, 2015Updated 10 years ago
- ☆19Feb 9, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Practical tools for quantifying how well a sample approximates a target distribution☆28Aug 5, 2020Updated 5 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
- Quantile risk minimization☆26Aug 8, 2024Updated last year
- 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
- Slice sampling algorithms in Julia☆13Updated this week
- ☆13Mar 17, 2021Updated 5 years ago
- ☆29Mar 16, 2021Updated 5 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.
- A survey app written in Flask☆13Apr 16, 2018Updated 8 years ago
- Declarative, per-project package management for Julia☆29Dec 7, 2017Updated 8 years ago
- C library for speech pre-processing.☆12Jun 7, 2019Updated 7 years ago
- ☆12Mar 10, 2020Updated 6 years ago
- LaTeX/MetaPost package for making geometry diagrams in the style of Oliver Byrne's rendition of Euclid's Elements☆25Dec 5, 2025Updated 6 months ago
- Artificial stock market (ASM) with Julia language.☆10Aug 10, 2021Updated 4 years ago
- Companion package for the book Exploring Data with R☆10Jan 16, 2021Updated 5 years ago