Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 9 Ocaml Abstract Interpretation Open Source Projects

Open source projects categorized as Ocaml Abstract Interpretation
Categories > Abstract Interpretation
Pyre Check ⭐ 6,606
Performant type-checking for python.
dependent packages 31total releases 77most recent commit 3 months agopypi pyre-check} Downloads
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 3 years ago
Sparrow ⭐ 86
The Sparrow Static Analyzer
most recent commit 6 years ago
Codehawk ⭐ 49
CodeHawk Abstract Interpretation Engine and Analyzers
most recent commit 3 months 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
Absolute ⭐ 5
Constraint solver based on abstract interpretation
most recent commit 3 years ago
Picasso ⭐ 5
OCaml Library for the drawing of abstract elements (Polyhedra, Octagon, Boxes)
most recent commit 9 months ago
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.