Alternatives and similar repositories for Paper-Linter

Users that are interested in Paper-Linter are comparing it to the libraries listed below

• bajinsheng / bibtidy
  Search, check, and autofix your BibTex files!
  ☆26Updated 3 months ago
• uds-se / debuggingbook
  Project page for "The Debugging Book"
  ☆271Updated 3 weeks ago
• dspinellis / alexandria3k
  Fast relational access to openly-available publication data sets
  ☆95Updated 2 months ago
• aspire-project / chisel
  A System for Debloating C/C++ Programs
  ☆31Updated 4 years ago
• opencitations / index
  Software for creating all the OpenCitations Indexes (e.g. COCI)
  ☆15Updated 2 months ago
• libtea / frameworks
  Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser
  ☆62Updated 3 years ago
• acmccs / format
  ACM consolidated LaTeX styles
  ☆67Updated 6 years ago
• cr-marcstevens / dblpbibtex
  DBLP BibTeX - bibtex wrapper for automatic DBLP & IACR ePrint downloads
  ☆20Updated 2 years ago
• opencitations / bcite
  A bibliographic reference correction service
  ☆22Updated 2 years ago
• typilus / typilus
  Code for "Typilus: Neural Type Hints" PLDI 2020
  ☆62Updated 2 years ago
• HexHive / magma
  A ground-truth fuzzing benchmark suite based on real programs with real bugs.
  ☆323Updated 5 months ago
• invernizzi / Chrisper
  Detect common mistakes in academic papers
  ☆61Updated 6 years ago
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆69Updated 10 months ago
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆48Updated last year
• sameerreddy13 / rlcheck
  RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.
  ☆48Updated 4 years ago
• SoftwareLanguagesSecurityLab / ConFIRM
  ☆25Updated 4 years ago
• romanofski / programslice
  Static analysis tool to slice python programs
  ☆38Updated 8 years ago
• DES-Lab / AALpy
  An Automata Learning Library Written in Python
  ☆199Updated last week
• bannsec / pySym
  Python Symbolic Execution
  ☆73Updated 6 years ago
• jwilk / python-afl
  American Fuzzy Lop fork server and instrumentation for pure-Python code
  ☆371Updated last month
• vernamlab / FastSpec
  FastSpec: Scalable Generation and Detection of Spectre Gadgets Using Neural Embeddings
  ☆13Updated 2 years ago
• dynaroars / dig
  DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…
  ☆53Updated 5 months ago
• hw-sw-contracts / revizor
  Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs
  ☆41Updated 2 years ago
• microsoft / sca-fuzzer
  Revizor - a fuzzer to search for microarchitectural leaks in CPUs
  ☆164Updated last week
• microsoft / codamosa
  ☆149Updated 5 months ago
• SunLab-GMU / PatchDB
  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
• uds-se / autoreject
  Autoreject.org — An automatic review generator
  ☆69Updated last year
• csfaculty / csfaculty.github.io
  Interview questions for Computer Science faculty jobs
  ☆40Updated last year
• praseodym / learning-fuzzing
  Code from MSc thesis on combining learning and fuzzing
  ☆19Updated 7 years ago
• CUMLSec / XDA
  ☆85Updated last year