leo-colisson / proof-at-the-endView external linksLinks
This package aims to provide a way to easily move LaTeX proofs in appendix.
☆27Jan 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☆30Jan 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 3 years ago
- Regresssion Discontinuity in R☆11Oct 29, 2025Updated 3 months ago
- Stores LaTeX content in memory or files☆13Nov 20, 2025Updated 2 months ago
- Beautiful Ghibli colors☆13Aug 8, 2023Updated 2 years ago
- Python code for Robust Identification of Investor Beliefs☆14Jan 6, 2021Updated 5 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 3 weeks ago
- 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
- Practical tools for quantifying how well a sample approximates a target distribution☆28Aug 5, 2020Updated 5 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 last month
- Android app for tracking your locations and uploading them on your private server☆11Jul 1, 2017Updated 8 years ago
- Fast estimation of generalized linear models with high dimensional categorical variables in Julia☆36Apr 19, 2025Updated 9 months ago
- Repository hosing the carbon policy shocks identified in Känzig (2023)☆12Jun 2, 2025Updated 8 months ago
- Teaching materials from DSE2019 summer school at Chicago Booth☆38Nov 3, 2019Updated 6 years ago
- Resource Guide for learning how to simulate and model Reinforcement Learning☆32Sep 17, 2020Updated 5 years ago
- HAT: Heterogeneous Agent Trade☆24Jun 17, 2025Updated 7 months ago
- https://icml.cc/virtual/2023/poster/24354☆10Aug 15, 2023Updated 2 years ago
- ☆13Mar 17, 2021Updated 4 years ago
- Artificial stock market (ASM) with Julia language.☆10Aug 10, 2021Updated 4 years ago
- This Repo Represents Indian Food Classification and with the help of this project you can easily identify the Indian food☆11Jun 15, 2021Updated 4 years ago
- ☆43Sep 13, 2021Updated 4 years ago
- Code repository for the ECCV 2022 (Oral) paper "Cartoon Explanations of Image Classifiers"☆10Nov 24, 2025Updated 2 months 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
- C library for speech pre-processing.☆12Jun 7, 2019Updated 6 years ago
- Empirical Finance Course (PhD, Julia code)☆38Nov 24, 2024Updated last year
- ☆10Jul 29, 2020Updated 5 years ago
- Image recommendation service with image on the input that outputs most similar images from database.☆13Sep 19, 2020Updated 5 years ago
- ☆14Nov 21, 2025Updated 2 months ago
- ☆10Jul 25, 2019Updated 6 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
- tests for cohort-level heterogeneity in panel regression☆11Mar 12, 2025Updated 11 months ago
- ☆11Mar 10, 2020Updated 5 years ago