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 – validates OpenAPI Specs
OpenAPI Spec Validator is a CLI, pre-commit hook and python package that validates OpenAPI Specs against the OpenAPI 2.0 (aka Swagger), OpenAPI 3.0 and OpenAPI 3.1 specification.
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 billed as a powerful static site generator that combines the best features of tools like Jekyll and Hugo, but within the Java ecosystem.
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
v.Nu – 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
Its parser aims to be highly compliant to both the GitHub Flavored Markdown specification and the CommonMark specification.
Read more
ty – fast Python type checker
ty is a fast Python type checker and language server. ty will run on all Python files in the working directory and or subdirectories.
Read more