Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Key

KeY Theorem Prover for Deductive Java Verification
Stars
33
License
other
Open Issues
338
Most Recent Commit
3 months ago
Programming Language
Java
Dependent Packages
12
Total Releases
2
Latest Release
October 15, 2023
Categories
Site
Repo
Alternatives To Key
Select To Compare
Shellcheck ⭐ 34,253
ShellCheck, a static analysis tool for shell scripts
dependent packages 1total releases 3most recent commit 3 months ago
Ruff ⭐ 25,957
An extremely fast Python linter and code formatter, written in Rust.
dependent packages 1,746total releases 274most recent commit 18 days agopypi ruff} Downloads
Swiftlint ⭐ 18,204
A tool to enforce Swift style and conventions.
total releases 79most recent commit a month ago
Php Parser ⭐ 16,433
A PHP parser written in PHP
dependent packages 1,029total releases 90most recent commit 3 months agopackagist nikic/php-parser} Downloads
Infer ⭐ 14,568
A static analyzer for Java, C, C++, and Objective-C
dependent packages 25total releases 8most recent commit 3 months ago
Php Cs Fixer ⭐ 12,545
A tool to automatically fix PHP Coding Standards issues
dependent packages 10,051total releases 265most recent commit 4 days agopackagist friendsofphp/php-cs-fixer} Downloads


Suggest An Alternative To key
Popular Code Quality Categories
Eslint
Printer
Prettier
Static Analysis
Stylelint
Sonarqube
Beautifier
Tslint
Code Style
Ctags
Related Searches
Java Static Analysis
Java Key
Java Formal Verification
Static Analysis Formal Verification
Formal Verification Smt Solver
Java Smt Solver

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Java
Static Analysis
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.