misc0110 / Paper-LinterLinks
A script to check for common mistakes in LaTeX source files of scientific papers.
☆34Updated 4 months ago
Alternatives and similar repositories for Paper-Linter
Users that are interested in Paper-Linter are comparing it to the libraries listed below
Sorting:
- Fast relational access to openly-available publication data sets☆96Updated 2 weeks ago
- Search, check, and autofix your BibTex files!☆26Updated 4 months ago
- ACM consolidated LaTeX styles☆66Updated 6 years ago
- Project page for "The Debugging Book"☆269Updated 2 months ago
- Autoreject.org — An automatic review generator☆69Updated last year
- tools for fast reading of docs☆48Updated 3 years ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆48Updated 2 years ago
- A System for Debloating C/C++ Programs☆31Updated 4 years ago
- Unit testing for SQL queries☆25Updated last year
- An Automata Learning Library Written in Python☆205Updated last month
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆62Updated 3 years ago
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆25Updated 4 years ago
- ☆24Updated last month
- HotCRP conference review software☆383Updated this week
- Juliet C/C++ Dynamic Test Suite☆31Updated 2 years ago
- ☆22Updated last year
- ☆10Updated 2 years ago
- Identifying Open-Source License Violation and 1-day Security Risk at Large Scale☆67Updated 7 years ago
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆41Updated 3 years ago
- Restoring Execution Environments of Jupyter Notebooks☆21Updated 2 years ago
- A toolkit for pre-processing large source code corpora☆45Updated 3 years ago
- ☆24Updated 4 years ago
- FANDANGO is a language-based fuzzer that leverages formal input specifications (grammars) combined with constraints to generate diverse s…☆95Updated this week
- Keep your bugs contained. A platform for studying historical software bugs.☆69Updated last year
- Dynamic analysis framework for Python☆82Updated 6 months ago
- Scalpel: The Python Static Analysis Framework☆322Updated last year
- Code for "Typilus: Neural Type Hints" PLDI 2020☆62Updated 2 years ago
- ☆42Updated 3 years ago
- FastSpec: Scalable Generation and Detection of Spectre Gadgets Using Neural Embeddings☆13Updated 2 years ago
- Deadline countdowns for academic conferences in Software Engineering☆65Updated 3 weeks ago