misc0110 / Paper-LinterLinks
A script to check for common mistakes in LaTeX source files of scientific papers.
☆34Updated 3 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:
- Search, check, and autofix your BibTex files!☆26Updated 4 months ago
- Project page for "The Debugging Book"☆269Updated last month
- Fast relational access to openly-available publication data sets☆95Updated last week
- LaMa, short for Labelling Machine, is an web application developed for aiding in thematic analysis of qualitative data.☆17Updated 2 years ago
- ACM consolidated LaTeX styles☆66Updated 6 years ago
- FastSpec: Scalable Generation and Detection of Spectre Gadgets Using Neural Embeddings☆13Updated 2 years ago
- ☆10Updated 2 years ago
- ICSE 2021 Artifact for: Shipwright: A Human-in-the-Loop System for Dockerfile Repair.☆22Updated 4 years ago
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆62Updated 3 years ago
- An Automata Learning Library Written in Python☆202Updated last week
- A reimplementation of LastPyMile: A Python-based library to Identify the differences between build artifacts of PyPI packages and the res…☆15Updated 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…☆47Updated 2 years ago
- A System for Debloating C/C++ Programs☆31Updated 4 years ago
- Autoreject.org — An automatic review generator☆69Updated last year
- Deadline countdowns for academic conferences in Security and Privacy☆781Updated last week
- Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…☆75Updated last year
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆41Updated 3 years ago
- Interview questions for Computer Science faculty jobs☆40Updated last year
- code for privacy-preserving sat solver☆17Updated 2 years ago
- Deadline countdowns for academic conferences relevant to the SSE chair.☆11Updated 3 weeks ago
- ☆24Updated last month
- The open-source component of Prime+Scope, published at CCS 2021☆36Updated 2 years ago
- Unit testing for SQL queries☆25Updated last year
- Website for Research Artifacts from the Security Community☆30Updated 3 weeks ago
- This repo collects the best papers from top 4 computer security conferences, including IEEE S&P, ACM CCS, USENIX Security, and NDSS.☆128Updated 7 months ago
- Side-channel Analysis☆19Updated 3 years ago
- tools for fast reading of docs☆49Updated 3 years ago
- Software Artifacts for the paper "TDXdown: Single-Stepping and Instruction Counting Attacks against Intel TDX"☆17Updated last year
- Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019☆38Updated 3 years ago
- Calculate code metrics in various languages☆36Updated last week