Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Pyre Check Alternatives

Performant type-checking for python.
Stars
6,606
License
mit
Open Issues
146
Most Recent Commit
a year ago
Programming Language
OCaml
Monthly Downloads
pypi pyre-check Downloads
Dependent Repos
23
Dependent Packages
31
Total Releases
77
Latest Release
October 19, 2023
Categories
Site
Repo
Alternatives To Pyre Check
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Gosec8,0197794 months ago115October 23, 202319apache-2.0Go
Go security checker
Grype7,10720a year ago202November 30, 2023211apache-2.0Go
A vulnerability scanner for container images and filesystems
Brakeman6,840rubygems brakeman} Downloads5,984123a year ago149December 05, 202399otherRuby
A static analysis security vulnerability scanner for Ruby on Rails applications
Tfsec6,81618a month ago411September 11, 202315mitGo
Tfsec is now part of Trivy
Pyre Check6,606pypi pyre-check} Downloads2331a year ago77October 19, 2023146mitOCaml
Performant type-checking for python.
Nodejsscan2,465
3 months ago9gpl-3.0CSS
nodejsscan is a static security code scanner for Node.js applications.
Bearer2,308npm @bearer/package-init} Downloads35a month ago109May 03, 20193otherGo
Code security scanning tool (SAST) to discover, filter and prioritize security and privacy risks.
Find Sec Bugs2,1603668a year ago21April 06, 202298lgpl-3.0Java
The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)
Gokart2,1412a year ago9September 22, 202233apache-2.0Go
A static analysis tool for securing Go code
Bap2,071
10 months ago40mitOCaml
Binary Analysis Platform
Alternatives To Pyre Check
Select To Compare
Gosec ⭐ 8,019
Go security checker
dependent packages 779total releases 115most recent commit 4 months ago
Grype ⭐ 7,107
A vulnerability scanner for container images and filesystems
dependent packages 20total releases 202most recent commit a year ago
Brakeman ⭐ 6,840
A static analysis security vulnerability scanner for Ruby on Rails applications
dependent packages 123total releases 149most recent commit a year agorubygems brakeman} Downloads
Tfsec ⭐ 6,816
Tfsec is now part of Trivy
dependent packages 18total releases 411most recent commit a month ago
Pyre Check ⭐ 6,606
Performant type-checking for python.
dependent packages 31total releases 77most recent commit a year agopypi pyre-check} Downloads
Gokart ⭐ 2,141
A static analysis tool for securing Go code
dependent packages 2total releases 9most recent commit a year ago
Bap ⭐ 2,071
Binary Analysis Platform
most recent commit 10 months ago


Suggest An Alternative To pyre-check
Alternative Project Comparisons
Pyre Check vs Gosec
Pyre Check vs Grype
Pyre Check vs Brakeman
Pyre Check vs Tfsec
Pyre Check vs Nodejsscan
Pyre Check vs Bearer
Pyre Check vs Find Sec Bugs
Pyre Check vs Gokart
Pyre Check vs Bap
Popular Security Projects
Caddy ⭐ 63,442
Fast and extensible multi-platform HTTP/1-2-3 web server with automatic HTTPS
dependent packages 462total releases 383latest release December 07, 2023most recent commit 2 months ago
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 a year ago
Php Parser ⭐ 17,189
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 Security Categories
Security
Token
Authentication
Password
Oauth
Cryptography
Ssh
Scanner
Role
Session
Related Searches
Python Security
Python Static Analysis
Security Static Analysis
Python Code Quality
Static Analysis Code Quality
Python Ocaml
Static Analysis Abstract Interpretation
Ocaml Static Analysis
Python Typechecker
Python Program Analysis

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Python
Security
Types
Ocaml
Static Analysis
Code Quality
Program Analysis
Typechecker
Taint Analysis
Privacy | About | Terms | Follow Us On Twitter

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

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