Checkstyle is a tool that ensures adherence to a code standard or a set of best practices.
Read more
Author: Eilidih Parris
Checker Framework – pluggable type-checking for Java
The Checker Framework enhances Java’s type system to make it more powerful and useful. This lets software developers detect and prevent errors
Read more
Infer – static analyzer for Java, C, C++, and Objective-C
Infer is a static analysis tool for Java, C++, Objective-C, and C. Infer is written in OCaml.
Read more
NullAway – eliminate NPEs in Java code
NullAway is a tool that offers fast annotation-based null checking for Java.
Read more
PMD – extensible cross-language static code analyzer
PMD is an extensible multilanguage static code analyzer. It finds common programming flaws like unused variables, empty catch blocks
Read more
YAPF – Python formatter based on clang-format
The ultimate goal is that the code YAPF produces is as good as the code that a programmer would write if they were following the style guide.
Read more
blue – Python code formatter
blue is a somewhat less uncompromising code formatter than black, the OG of Python formatters.
Read more
SpotBugs – find bugs in Java code
SpotBugs is a program which uses static analysis to look for bugs in Java code. It’s a fork of the abandoned FindBugs.
Read more
Rate My OpenAPI – improve the quality of your OpenAPI specifications
Rate My OpenAPI is a suite of tools designed to help software developers who are using OpenAPI to design and implement their APIs.
Read more
oval – CLI for (O)penAPI Specification document (val)idation
oval is an OpenAPI Specification (OAS) document validator that was built to replace the CLI provided by swagger-tools.
Read more
OpenAPI Spec Validator – validate OpenAPI specifications
OpenAPI Spec Validator checks Swagger and OpenAPI documents on Linux through a Python CLI, importable library and pre-commit integration.
Read more
OAS-Kit – convert Swagger 2.0 definitions to OpenAPI 3.0
OAS-Kit converts Swagger 2.0 definitions to OpenAPI 3.0 and resolve/validate/lint.
Read more
Roq – static site generator
Roq is a Quarkus-based static site generator with Markdown, AsciiDoc, Qute templates, live preview and extensible publishing features.
Read more
Floskell – flexible Haskell source code pretty printer
Floskell started as a fork of version 4 of Chris Done’s hindent. The formatting styles present in hindent 4 have been preserved in spirit
Read more
Nu Html Checker (vnu) – catch mistakes in HTML, CSS and SVG
The Nu Html Checker (v.Nu) helps you catch unintended mistakes in your HTML, CSS, and SVG.
Read more
JADX – Dex to Java decompiler
JADX is command line and GUI tools for producing Java source code from Android Dex and Apk files.
Read more
semgrep – static analysis for many languages
Semgrep is a fast, open-source, static analysis tool that searches code, finds bugs, and enforces secure guardrails and coding standards
Read more
Violations Lib – parse report files from static code analysis
Violations Lib is a Java library for parsing report files like static code analysis.
Read more
PyMarkdown – Markdown linter
PyMarkdown is a Python Markdown linter with a structure-aware parser, focused rule plugins, automatic fixes and pre-commit integration.
Read more
ty – fast Python type checker and language server
ty is a Rust-based Python type checker with incremental analysis, configurable diagnostics and language server integration for editors.
Read more