• LCLint

• Referenced in 4 articles [sw18406]
• LCLint can be used as a better lint.[1] If additional effort is invested adding ... than can be done by any standard lint...

• Splint

• Referenced in 2 articles [sw18405]
• Splint can be used as a better lint. If additional effort is invested adding annotations ... than can be done by any standard lint...

• PC-Lint

• Referenced in 1 article [sw18404]
• lint for C/C++ was first introduced in 1985. It will thoroughly check your C/C++ source ... economically, than with traditional debugging procedures PC-lint for C/C++ runs on Microsoft Windows...

• PyChecker

• Referenced in 1 article [sw23583]
• similar to lint. Because of the dynamic nature of python, some warnings may be incorrect...

• Android Studio

• Referenced in 1 article [sw31856]
• sample code; Extensive testing tools and frameworks; Lint tools to catch performance, usability, version compatibility...

• DLint

• Referenced in 1 article [sw41410]
• security problems. Lightweight static analyses, implemented in ”lint-like” tools, are widely used to find...

• geojsonlint

• Referenced in 0 articles [sw17520]
• geojsonlint. Tools for Validating ’GeoJSON’. Tools for linting ’GeoJSON’. Includes tools for interacting with...

• Coq

• Referenced in 1898 articles [sw00161]
• Coq is a formal proof management system. It...

• Isabelle/HOL

• Referenced in 1020 articles [sw01569]
• Isabelle is a generic proof assistant. It allows...

• Mizar

• Referenced in 506 articles [sw04704]
• The Mizar System is the only implementation of...

• GHC

• Referenced in 103 articles [sw06691]
• Secrets of the Glasgow Haskell Compiler inliner. Higher...

• AProVE

• Referenced in 161 articles [sw07831]
• AProVE 1.2: Automatic Termination Proofs in the Dependency...

• ATLAS Group Representations

• Referenced in 207 articles [sw13584]
• ATLAS of Finite Group Representations. To get information...

• Lean

• Referenced in 46 articles [sw15148]
• The Lean theorem prover (system description). Lean is...

• ELPI

• Referenced in 9 articles [sw28521]
• ELPI: Fast, Embeddable, λProlog Interpreter. We present a...

• Archive Formal Proofs

• Referenced in 181 articles [sw28613]
• Isabelle’s Archive of Formal Proofs (AFP): Mining...

• mathlib

• Referenced in 3 articles [sw36839]
• Maintaining a library of formal mathematics. The Lean...