Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Refinement.js

Yet another contract library for JavaScript which benefits from static analyzers such as TAJS.
Stars
5
License
mit
Open Issues
0
Most Recent Commit
6 years ago
Programming Language
JavaScript
Categories
Repo
Alternatives To Refinement.js
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Infer14,56864253 months ago8June 09, 2020411mitOCaml
A static analyzer for Java, C, C++, and Objective-C
Static Analysis12,865
17 days ago1mitRust
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
Phpstan12,390packagist phpstan/phpstan} Downloads4,6318,9623 months ago295December 01, 2023979mitPHP
PHP Static Analysis Tool - discover bugs in your code without running it!
Phpmd2,263packagist phpmd/phpmd} Downloads8,0234,3014 months ago46September 28, 2023143bsd-3-clausePHP
PHPMD is a spin-off project of PHP Depend and aims to be a PHP equivalent of the well known Java tool PMD. PHPMD can be seen as an user friendly frontend application for the raw metrics stream measured by PHP Depend.
Codechecker2,023npm codechecker-api-js} Downloads23 months ago63March 05, 2021351apache-2.0Python
CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
Ikos1,935
4 months ago38otherC++
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Phpinspectionsea1,389
a year ago205otherJava
A Static Code Analyzer for PHP (a PhpStorm/Idea Plugin)
Svf1,297npm svf-tools} Downloads111 days ago774December 09, 2023248otherC++
Static Value-Flow Analysis Framework for Source Code
Phpdoc Parser1,160packagist phpstan/phpdoc-parser} Downloads1,664924 months ago88November 26, 202324mitPHP
Next-gen phpDoc parser with support for intersection types and generics
Sonar Java1,068133473 months ago53August 16, 201911lgpl-3.0Java
:coffee: SonarSource Static Analyzer for Java Code Quality and Security
Alternatives To Refinement.js
Select To Compare
Infer ⭐ 14,568
A static analyzer for Java, C, C++, and Objective-C
dependent packages 25total releases 8most recent commit 3 months ago
Phpstan ⭐ 12,390
PHP Static Analysis Tool - discover bugs in your code without running it!
dependent packages 8,962total releases 295most recent commit 3 months agopackagist phpstan/phpstan} Downloads
Svf ⭐ 1,297
Static Value-Flow Analysis Framework for Source Code
dependent packages 1total releases 774most recent commit 11 days agonpm svf-tools} Downloads
Phpdoc Parser ⭐ 1,160
Next-gen phpDoc parser with support for intersection types and generics
dependent packages 92total releases 88most recent commit 4 months agopackagist phpstan/phpdoc-parser} Downloads
Sonar Java ⭐ 1,068
:coffee: SonarSource Static Analyzer for Java Code Quality and Security
dependent packages 47total releases 53most recent commit 3 months ago


Suggest An Alternative To refinement.js
Alternative Project Comparisons
Refinement.js vs Infer
Refinement.js vs Static Analysis
Refinement.js vs Phpstan
Refinement.js vs Phpmd
Refinement.js vs Codechecker
Refinement.js vs Ikos
Refinement.js vs Phpinspectionsea
Refinement.js vs Svf
Refinement.js vs Phpdoc Parser
Refinement.js vs Sonar Java
Popular Static Analysis Projects
Shellcheck ⭐ 34,253
ShellCheck, a static analysis tool for shell scripts
dependent packages 1total releases 3latest release November 07, 2021most recent commit 3 months ago
Ruff ⭐ 25,957
An extremely fast Python linter and code formatter, written in Rust.
dependent packages 1,746total releases 274latest release December 04, 2023most recent commit 25 days agopypi ruff} Downloads
Swiftlint ⭐ 18,204
A tool to enforce Swift style and conventions.
total releases 79latest release December 01, 2023most recent commit 2 months ago
Php Parser ⭐ 16,433
A PHP parser written in PHP
dependent packages 1,029total releases 90latest release September 17, 2023most recent commit 4 months agopackagist nikic/php-parser} Downloads
Popular Static Analyzer Projects
Phpmetrics ⭐ 2,426
Beautiful and understandable static analysis tool for PHP
dependent packages 268total releases 57latest release September 15, 2023most recent commit 3 months agopackagist phpmetrics/phpmetrics} Downloads
Tailor ⭐ 1,368
Cross-platform static analyzer and linter for Swift.
latest release March 27, 2017most recent commit 3 years ago
Popular Code Quality Categories
Eslint
Printer
Prettier
Static Analysis
Stylelint
Sonarqube
Beautifier
Tslint
Code Style
Ctags
Related Searches
Javascript Contracts
Javascript Static Analysis
Javascript Static Analyzer
Contracts Static Analysis
Javascript Gradual Typing
Contracts Static Analyzer

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Javascript
Static Analysis
Static Analyzer
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.