• 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...
  • 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...
  • 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...
  • mathlib

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