☆30Dec 11, 2025Updated 3 months ago
Alternatives and similar repositories for Pyra
Users that are interested in Pyra are comparing it to the libraries listed below
Sorting:
- ☆12Jul 1, 2017Updated 8 years ago
- EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode☆34Mar 8, 2026Updated last week
- ☆10Sep 14, 2018Updated 7 years ago
- Inject variables in sass files☆14Dec 12, 2022Updated 3 years ago
- Detect Instagram Fake Account using Machine Learning approach☆14Dec 13, 2021Updated 4 years ago
- A bash script for downloading a stream from a remote server down to the local machine☆14Mar 23, 2017Updated 8 years ago
- Program to measure the similarity between two videos using the OpenCV library and the structural similarity algorithm (SSIM). This is mod…☆15Aug 26, 2014Updated 11 years ago
- ☆53Jun 24, 2025Updated 8 months ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆75Feb 28, 2026Updated 2 weeks ago
- ☆62Jun 15, 2025Updated 9 months ago
- 2025 config using lazy☆23Updated this week
- Keep your gradle builds dry 干☆28May 27, 2025Updated 9 months ago
- An abstract-interpretation based static analyzer written in Scala.☆33Mar 23, 2022Updated 3 years ago
- The main codex repository☆26Feb 3, 2026Updated last month
- A command-line tool for fetching and formatting historical price data, with support for multiple data sources and output formats.☆16Oct 11, 2025Updated 5 months ago
- Interactive online editor for the cyclone specification language☆12Jan 1, 2026Updated 2 months ago
- Opinionated hledger's journal files formatter☆37Feb 5, 2026Updated last month
- PC-miner tool for program chairs☆29Dec 18, 2025Updated 3 months ago
- Data-flow Analysis Visualizer☆10Dec 9, 2021Updated 4 years ago
- Source code and documentation for TeamItaly CTF 2023 challenges☆21Oct 2, 2023Updated 2 years ago
- A declaration of fundamental rights and principles for ethical digital platforms, ensuring privacy, dignity, and fairness in online space…☆20Jan 18, 2025Updated last year
- This template for an academic CV serves the peculiarities for academics. Academic applicants need to show everything they have done. This…☆21Dec 17, 2025Updated 3 months ago
- Game Patches for modified game consoles☆29Mar 7, 2024Updated 2 years ago
- Run virtual machines in docker using qemu and practice exploitation techniques overcoming containers limitations.☆14Jan 14, 2021Updated 5 years ago
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆17Jul 10, 2025Updated 8 months ago
- ☆24Oct 31, 2021Updated 4 years ago
- ☆13Dec 2, 2021Updated 4 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
- PPLite: convex polyhedra library for Abstract Interpretation☆30Jan 22, 2026Updated last month
- Jepsen tests for local filesystems, running on a single node.☆16Aug 15, 2022Updated 3 years ago
- ☆11Mar 16, 2016Updated 10 years ago
- Turn a supported list of filetypes (e.g. .docx) into a markdown structured text file. Also optionally defangs indicators and extract text…☆12Mar 4, 2026Updated 2 weeks ago
- Una piccola raccolta di dispense utili alla sopravvivenza presso UNIVR.☆25Dec 6, 2022Updated 3 years ago
- ☆11Dec 17, 2018Updated 7 years ago
- ☆14Dec 10, 2021Updated 4 years ago
- ☆14Jul 8, 2019Updated 6 years ago
- The Tangled Genealogy of IoT Malware☆12Jan 5, 2021Updated 5 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
- A repository with data about APTs☆13Nov 24, 2022Updated 3 years ago