Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 6 Python Abstract Interpretation Open Source Projects

Open source projects categorized as Python 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
Diffai ⭐ 167
A certifiable defense against adversarial examples by training neural networks to be provably robust
most recent commit 3 years ago
Sixtypical ⭐ 31
MIRROR of https://codeberg.org/catseye/SixtyPical : A 6502-oriented low-level programming language supporting advanced static analysis
most recent commit 5 months ago
Lyra ⭐ 25
most recent commit 6 months ago
Soap ⭐ 18
🎯 soap - Structural Optimisation of Arithmetic Programs
most recent commit 8 years ago
Libra ⭐ 8
most recent commit 3 years 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.