This package aims to provide a way to easily move LaTeX proofs in appendix.
☆28Jan 12, 2026Updated last month
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
Sorting:
- LaTeX package for automatically putting proof environments in appendix☆32Jan 13, 2026Updated last month
- 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
- Method of Simulated Moments☆12Feb 23, 2022Updated 4 years ago
- Regresssion Discontinuity in R☆11Oct 29, 2025Updated 4 months ago
- Python code for Robust Identification of Investor Beliefs☆15Jan 6, 2021Updated 5 years ago
- Beautiful Ghibli colors☆13Aug 8, 2023Updated 2 years ago
- Code and algorithms for "Equilibrium Technology Diffusion, Trade, and Growth"☆18Dec 28, 2020Updated 5 years ago
- Analysis of the household consumption response to the Covid-19 crisis and the CAREs Act response☆20Jan 17, 2026Updated last month
- A LaTeX package to use amsthm with a key-value interface☆29Feb 24, 2026Updated last week
- A Python 3.7 package for the econometric analysis of networks☆22Oct 10, 2024Updated last year
- Source code for Bazdresch, Kahn, Whited "Estimating and Testing Dynamic Corporate Finance Models"☆24Jul 22, 2017Updated 8 years ago
- ☆29Mar 16, 2021Updated 4 years ago
- ☆17Dec 31, 2024Updated last year
- Quickly assemble data from the Panel Study of Income Dynamics (PSID)☆31Dec 21, 2025Updated 2 months ago
- Fast estimation of generalized linear models with high dimensional categorical variables in Julia☆36Apr 19, 2025Updated 10 months ago
- Repository hosing the carbon policy shocks identified in Känzig (2023)☆13Jun 2, 2025Updated 9 months ago
- Teaching materials from DSE2019 summer school at Chicago Booth☆38Nov 3, 2019Updated 6 years ago
- HAT: Heterogeneous Agent Trade☆24Jun 17, 2025Updated 8 months ago
- Resource Guide for learning how to simulate and model Reinforcement Learning☆32Sep 17, 2020Updated 5 years ago
- C library for speech pre-processing.☆12Jun 7, 2019Updated 6 years ago
- Code of Feature Fusion Transferability Aware Transformer for Unsupervised Domain Adaptation, WACV 2025☆10Dec 5, 2024Updated last year
- ☆13Mar 17, 2021Updated 4 years ago
- A survey app written in Flask☆13Apr 16, 2018Updated 7 years ago
- https://icml.cc/virtual/2023/poster/24354☆10Aug 15, 2023Updated 2 years ago
- Released code for ICDM 2016 Budgeted Batch Bayesian Optimization☆10Feb 11, 2019Updated 7 years ago
- ARCHIVED A high-performance database of shipment-level CITES trade data☆12May 11, 2023Updated 2 years ago
- Artificial stock market (ASM) with Julia language.☆10Aug 10, 2021Updated 4 years ago
- ☆43Sep 13, 2021Updated 4 years ago
- CartoonX is a saliency map method for image classifiers operating in the wavelet/shearlet domain.☆10Feb 23, 2026Updated last week
- Empirical Finance Course (PhD, Julia code)☆39Nov 24, 2024Updated last year
- ☆11Feb 3, 2025Updated last year
- ☆12Nov 18, 2022Updated 3 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- Companion repository to "Prompt Compression and Contrastive Conditioning for Controllability and Toxicity Reduction in Language Models"☆14May 31, 2023Updated 2 years ago
- Companion package for the book Exploring Data with R☆10Jan 16, 2021Updated 5 years ago
- Utility functions for weights and biases (wandb).☆11Sep 17, 2024Updated last year
- ☆11Mar 10, 2020Updated 5 years ago
- Continuous Time Markov Chains☆11Mar 2, 2026Updated last week
- Generalized Method of Moments estimation☆13Mar 23, 2025Updated 11 months ago