☆29Dec 11, 2025Updated 2 months ago
Alternatives and similar repositories for Pyra
Users that are interested in Pyra are comparing it to the libraries listed below
Sorting:
- EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode☆33Dec 27, 2025Updated 2 months ago
- A python plugin integrated into Carla Simulator for emulate cyber-attack over the CAN-Bus (https://carla.org/)☆15Apr 26, 2021Updated 4 years ago
- A block-based programming environment for Arduino.☆16Jan 12, 2026Updated last month
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆17Jul 10, 2025Updated 7 months ago
- Run virtual machines in docker using qemu and practice exploitation techniques overcoming containers limitations.☆14Jan 14, 2021Updated 5 years ago
- ☆11Mar 16, 2016Updated 9 years ago
- ☆12Dec 12, 2022Updated 3 years ago
- A python steganography module to store messages or files protected with AES-256 encryption inside an image.☆10Jan 18, 2022Updated 4 years ago
- An open-source software based testing framework for automotive cybersecurity☆12Jul 14, 2023Updated 2 years ago
- A repository with data about APTs☆13Nov 24, 2022Updated 3 years ago
- ☆11Dec 17, 2018Updated 7 years ago
- Interactive online editor for the cyclone specification language☆12Jan 1, 2026Updated last month
- Data-flow Analysis Visualizer☆10Dec 9, 2021Updated 4 years ago
- Extract Procedural Details of the TTP based on the actor mentioned in OSINT reportings☆13Feb 25, 2024Updated 2 years ago
- Attack/Defense services for the CyberChallenge.IT 2024 National Competition @ Turin, Italy☆11Jul 18, 2024Updated last year
- ☆14Dec 2, 2021Updated 4 years ago
- STIX 2 Fake Data Generator☆11Oct 17, 2024Updated last year
- ☆12Jul 1, 2017Updated 8 years ago
- Turn a supported list of filetypes (e.g. .docx) into a markdown structured text file. Also optionally defangs indicators and extract text…☆12Feb 5, 2026Updated 3 weeks ago
- Source code and data about our large scale study about Java annotaion in practice☆12Apr 14, 2023Updated 2 years ago
- Packaging the systems and operations of the Chameleon testbed☆18Feb 17, 2026Updated last week
- Jepsen tests for local filesystems, running on a single node.☆16Aug 15, 2022Updated 3 years ago
- The Tangled Genealogy of IoT Malware☆12Jan 5, 2021Updated 5 years ago
- Getting started with Decisions-Disruptions☆11Jan 28, 2020Updated 6 years ago
- This script is to build Wazuh 4.3 environment☆11May 30, 2022Updated 3 years ago
- Paper to Reviewer Assignment is a tedious but a very crucial job for conference organizers. Till date the Toronto Paper Matching System (…☆10Nov 30, 2017Updated 8 years ago
- 🙅♀️📧 Chrome extension that blocks mailto: links from opening automatically!☆12May 10, 2019Updated 6 years ago
- Detect Instagram Fake Account using Machine Learning approach☆14Dec 13, 2021Updated 4 years ago
- ☆10Sep 14, 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 3 years ago
- This Repository includes the simulation platform of a advanced driver assistance system openpilot and urban driving simulator CARLA.☆13Jun 24, 2022Updated 3 years ago
- ☆14Oct 14, 2025Updated 4 months ago
- A simple, multi-threaded, CLI slideshare presentation downloader 🚀.☆14Jun 2, 2022Updated 3 years ago
- Tool to visualize executions of multi-threaded systems☆13Jun 1, 2020Updated 5 years ago
- ☆14Jul 8, 2019Updated 6 years ago
- ProtOSINT is a Python script that helps you investigate Protonmail accounts and ProtonVPN IP addresses☆13Sep 2, 2022Updated 3 years ago
- A bash script for downloading a stream from a remote server down to the local machine☆14Mar 23, 2017Updated 8 years ago
- A Knowledge Graph for Open Source Security Tools☆18Aug 15, 2023Updated 2 years ago
- The top repository for the code accompanying our paper "Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Executi…☆16Aug 3, 2022Updated 3 years ago