☆30Dec 11, 2025Updated 4 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:
- ☆12Jul 1, 2017Updated 8 years ago
- EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode☆35Mar 26, 2026Updated last month
- ☆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
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A bash script for downloading a stream from a remote server down to the local machine☆14Mar 23, 2017Updated 9 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
- ☆54Jun 24, 2025Updated 10 months ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆80Updated this week
- ☆62Jun 15, 2025Updated 10 months ago
- 2025 config using lazy☆23Apr 13, 2026Updated 2 weeks ago
- Keep your gradle builds dry 干☆28May 27, 2025Updated 11 months ago
- An abstract-interpretation based static analyzer written in Scala.☆33Mar 23, 2022Updated 4 years ago
- The main codex repository☆26Feb 3, 2026Updated 2 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A command-line tool for fetching and formatting historical price data, with support for multiple data sources and output formats.☆17Oct 11, 2025Updated 6 months ago
- Interactive online editor for the cyclone specification language☆12Jan 1, 2026Updated 3 months ago
- Opinionated hledger's journal files formatter☆37Apr 2, 2026Updated 3 weeks ago
- PC-miner tool for program chairs☆29Dec 18, 2025Updated 4 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…☆23Dec 17, 2025Updated 4 months ago
- Game Patches for modified game consoles☆29Mar 7, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Run virtual machines in docker using qemu and practice exploitation techniques overcoming containers limitations.☆15Jan 14, 2021Updated 5 years ago
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆17Jul 10, 2025Updated 9 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 3 months ago
- 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…☆12Apr 21, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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
- 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
- The Tangled Genealogy of IoT Malware☆12Jan 5, 2021Updated 5 years ago
- A repository with data about APTs☆13Nov 24, 2022Updated 3 years ago