Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 16 Ocaml Static Analysis Open Source Projects

Open source projects categorized as Ocaml Static Analysis
Categories > Code Quality > Static Analysis
Infer ⭐ 14,568
A static analyzer for Java, C, C++, and Objective-C
dependent packages 25total releases 8most recent commit 3 months ago
Pyre Check ⭐ 6,606
Performant type-checking for python.
dependent packages 31total releases 77most recent commit 3 months agopypi pyre-check} Downloads
Bap ⭐ 1,926
Binary Analysis Platform
most recent commit 5 months ago
Felix ⭐ 766
The Felix Programming Language
most recent commit 3 months ago
Bolt ⭐ 494
Bolt is a language with in-built data-race freedom!
most recent commit 5 months ago
Analyzer ⭐ 143
Static analysis framework for C
most recent commit 3 months ago
Frama C Snapshot ⭐ 125
Release snapshots of the Frama-C platform for source code analysis
most recent commit 4 years ago
Illuaminate ⭐ 48
Very WIP static analysis for Lua
most recent commit 3 months ago
Luli ⭐ 45
A static analysis and linter tool for Lua
most recent commit 7 years ago
Infrared ⭐ 42
✨🚀 Blazing fast, inferred static type checker for JavaScript.
dependent packages 2total releases 1most recent commit 3 years agonpm infrared-core} Downloads
Iec Checker ⭐ 34
Static analysis of IEC 61131-3 programs
most recent commit a year ago
Cacheaudit ⭐ 32
A Tool for the Static Analysis of Cache Side Channels
most recent commit 7 years ago
Oo7 ⭐ 18
oo7, a binary analysis tool to defend against Spectre vulnerabilities
most recent commit 4 years ago
Drift ⭐ 14
An abstract-interpretation-based static analysis for inferring refinement types
most recent commit a year ago
Function ⭐ 10
most recent commit 3 months ago
Deadlock ⭐ 7
Frama-C plugin for deadlock detection
most recent commit a year ago
The 3 Most Depended On Ocaml Static Analysis Open Source Projects
Pyre Check ⭐ 6,606
Performant type-checking for python.
dependent packages 31total releases 77latest release October 19, 2023most recent commit 3 months agopypi pyre-check} Downloads
Infer ⭐ 14,568
A static analyzer for Java, C, C++, and Objective-C
dependent packages 25total releases 8latest release June 09, 2020most recent commit 3 months ago
Infrared ⭐ 42
:sparkles::rocket: Blazing fast, inferred static type checker for JavaScript.
dependent packages 2total releases 1latest release July 03, 2018most recent commit 3 years agonpm infrared-core} Downloads
The 3 Latest Releases In Ocaml Static Analysis Open Source Projects
Pyre Check ⭐ 6,606
Performant type-checking for python.
dependent packages 31total releases 77latest release October 19, 2023most recent commit 3 months agopypi pyre-check} Downloads
Infer ⭐ 14,568
A static analyzer for Java, C, C++, and Objective-C
dependent packages 25total releases 8latest release June 09, 2020most recent commit 3 months ago
Infrared ⭐ 42
:sparkles::rocket: Blazing fast, inferred static type checker for JavaScript.
dependent packages 2total releases 1latest release July 03, 2018most recent commit 3 years agonpm infrared-core} Downloads
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
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.