Inspecode / RocroGet code shipped faster and product to your customers sooner with continuous code inspection and automated code correction. Automate Code ReviewsGitHub and Bitbucket integration, custom error thresholds allowed to merge PRs, and parralelized analysis means dramatically more efficient code reviews.
GitHub - wartremover/wartremover: Flexible Scala code linting tool
Leon documentation — Leon 3.0 documentation
