LaTeX package for automatically putting proof environments in appendix
☆32Jan 13, 2026Updated last month
Alternatives and similar repositories for apxproof
Users that are interested in apxproof are comparing it to the libraries listed below
Sorting:
- This package aims to provide a way to easily move LaTeX proofs in appendix.☆28Jan 12, 2026Updated last month
- A curated list of papers relating to position-based quantum cryptography (PBQC).☆16Aug 25, 2025Updated 6 months ago
- Android app for tracking your locations and uploading them on your private server☆11Jul 1, 2017Updated 8 years ago
- ☆10Jan 16, 2024Updated 2 years ago
- angle-sequence☆12Apr 3, 2020Updated 5 years ago
- Code of Feature Fusion Transferability Aware Transformer for Unsupervised Domain Adaptation, WACV 2025☆10Dec 5, 2024Updated last year
- https://icml.cc/virtual/2023/poster/24354☆10Aug 15, 2023Updated 2 years ago
- A renderer for sheet diagrams in bimonoidal categories☆13Aug 28, 2021Updated 4 years ago
- Paradoxes in Set Theory and Type Theory☆12Jul 24, 2024Updated last year
- Synthesis and Reprogramming of Most Permissive Boolean Networks☆16Feb 23, 2026Updated last week
- Example of clingo usage on website as a client-side JS program☆14Aug 27, 2019Updated 6 years ago
- A list where most values will be None (or default)☆11Jul 19, 2023Updated 2 years ago
- Statistics for opening_hours in OSM.☆12Aug 7, 2020Updated 5 years ago
- ☆10May 11, 2021Updated 4 years ago
- Estimators for Information Theoretic Functionals using Influence Functions☆11Apr 17, 2016Updated 9 years ago
- Official Repository for Can Language Models be Instructed to Protect Personal Information?☆13Oct 8, 2023Updated 2 years ago
- ☆11Sep 21, 2025Updated 5 months ago
- Julia implementation of the algorithm described in the paper "A scalable algorithm for sparse portfolio selection" by Bertsimas and Cory-…☆11Mar 22, 2021Updated 4 years ago
- Utility functions for weights and biases (wandb).☆11Sep 17, 2024Updated last year
- ☆14Nov 21, 2025Updated 3 months ago
- A domain-specific language that allows the expression or protein interactions that can be used to build executable models.☆23Dec 13, 2022Updated 3 years ago
- O-3PO - Open-source Open-access Overlay Publishing Option☆10Dec 30, 2025Updated 2 months ago
- Minimum viable code for the Decodable Information Bottleneck paper. Pytorch Implementation.☆11Oct 20, 2020Updated 5 years ago
- Workshop materials for R Programming for HPC☆10Oct 9, 2025Updated 4 months ago
- Repository of the pipeline of computational methods for logical modelling of biological networks that are deregulated in diseases, develo…☆10Oct 6, 2019Updated 6 years ago
- ☆16Jan 30, 2024Updated 2 years ago
- Environments from the papers "Using Reward Machines for High-Level Task Specification and Decomposition in Reinforcement Learning" and "I…☆12Aug 15, 2023Updated 2 years ago
- Official code for FAccT'21 paper "Fairness Through Robustness: Investigating Robustness Disparity in Deep Learning" https://arxiv.org/abs…☆13Mar 9, 2021Updated 4 years ago
- lineno – Line numbers on paragraphs☆16Updated this week
- ☆10Feb 26, 2021Updated 5 years ago
- OpenRefine reconciliation service with Getty AAT (Art & Architecture Thesaurus)☆12May 1, 2023Updated 2 years ago
- ☆11Apr 7, 2021Updated 4 years ago
- Code for "Can We Characterize Tasks Without Labels or Features?" (CVPR 2021)☆11Aug 31, 2021Updated 4 years ago
- Instrumental Variable Quantile Regression☆12Jul 17, 2023Updated 2 years ago
- python reader for Andor sif file☆13Sep 28, 2020Updated 5 years ago
- Resources for configuring VSCodium for writing in LaTeX, Markdown, and Python.☆18Nov 6, 2025Updated 4 months ago
- Baylor Causal Inference Class☆12May 6, 2022Updated 3 years ago
- Regression analysis using python and scikit learn - Communities and Crime Data Set (UCI).☆10Jul 14, 2018Updated 7 years ago
- Fusion-then-Distillation: Toward Cross-modal Positive Distillation for Domain Adaptive 3D Semantic Segmentation [TCSVT 2025]☆16Feb 21, 2025Updated last year