☆30Jul 14, 2026Updated 2 months ago
Alternatives and similar repositories for Pyra
Users that are interested in Pyra are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Java static analyzer built on LiSA — abstract interpretation, interprocedural analysis, and formal program verification. SV-COMP 2026 🥉☆32Updated this week
- EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode☆37Jun 18, 2026Updated 3 months ago
- PPLite: convex polyhedra library for Abstract Interpretation☆31Aug 4, 2026Updated 2 months ago
- ☆16Dec 11, 2025Updated 9 months ago
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆25Dec 18, 2022Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Apron Numerical Abstract Domain Library☆148Feb 13, 2026Updated 7 months ago
- `dslinter` is a pylint plugin for linting data science and machine learning code. We plan to support the following Python libraries: Tens…☆24Jul 6, 2022Updated 4 years ago
- Lyra is a prototype static analyzer for data science applications written in Python.☆31Aug 18, 2025Updated last year
- PC-miner tool for program chairs☆30Dec 18, 2025Updated 9 months ago
- ⌥ Simple Backus–Naur form (BNF) LaTeX package☆51Sep 20, 2026Updated 2 weeks ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆36Dec 9, 2023Updated 2 years ago
- ☆12Jan 7, 2025Updated last year
- Scripts for the creation of the Kaggle Torrent☆14May 17, 2021Updated 5 years ago
- Transform Serial R Code into Parallel R Code☆11Nov 17, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆10Aug 18, 2025Updated last year
- A Python library for learning and verification of neural networks and other machine learning models☆14Sep 18, 2025Updated last year
- Static Analyzer for LLVM based on the Crab Abstract Interpretation Library☆289Sep 12, 2026Updated 3 weeks ago
- A Dynamic tracing framework for R☆11Jul 8, 2021Updated 5 years ago
- Repair docker-smell automatically☆13Jul 23, 2026Updated 2 months ago
- WALA-based Solidity static analysis. Currently it includes RoundAbout, a tool for inferring rounding direction across functions, expressi…☆19Updated this week
- Consolidated Ground Truth (CGT) for Weaknesses of Ethereum Smart Contracts☆27Oct 12, 2024Updated last year
- Implementation and simulations for "CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Buil…☆23Jun 17, 2021Updated 5 years ago
- ☆17Jul 11, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- The main codex repository☆27Feb 3, 2026Updated 8 months ago
- The Sparrow Static Analyzer☆126Sep 19, 2021Updated 5 years ago
- A collection of quantum information science problems formulated as reinforcement learning environments☆21Updated this week
- Run virtual machines in docker using qemu and practice exploitation techniques overcoming containers limitations.☆15Jan 14, 2021Updated 5 years ago
- ☆13Dec 2, 2021Updated 4 years ago
- Jepsen tests for local filesystems, running on a single node.☆16Aug 15, 2022Updated 4 years ago
- This script is to build Wazuh 4.3 environment☆12May 30, 2022Updated 4 years ago
- TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.☆26Sep 16, 2026Updated 3 weeks ago
- A block-based programming environment for Arduino.☆15Jan 12, 2026Updated 8 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆14Dec 10, 2021Updated 4 years ago
- ☆14Jul 8, 2019Updated 7 years ago
- ☆11Dec 17, 2018Updated 7 years ago
- This tool parses NTDLL.DLL, extracts all the syscall numbers and helps in making direct syscalls, in order to help evasion.☆15Jun 6, 2022Updated 4 years ago
- A python plugin integrated into Carla Simulator for emulate cyber-attack over the CAN-Bus (https://carla.org/)☆15Apr 26, 2021Updated 5 years ago
- The Tangled Genealogy of IoT Malware☆12Jan 5, 2021Updated 5 years ago
- STIX 2 Fake Data Generator☆11Oct 17, 2024Updated last year