☆13Apr 3, 2026Updated 7 months ago
Alternatives and similar repositories for security-audits
Users that are interested in security-audits are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Aug 31, 2026Updated 2 months ago
- The objective of this repository is to show proofs of concept related to vulnerabilities in solana blockchain that are mentioned in many …☆19Dec 7, 2025Updated 10 months ago
- ☆17May 9, 2023Updated 3 years ago
- Automated Vulnerability Detection for Solana Smart Contracts☆41Jul 26, 2026Updated 3 months ago
- Public Repository of our Audit Reports☆28Sep 15, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Part II of the tutorial for making a PoC in foundry for Immunefi☆12Aug 29, 2022Updated 4 years ago
- ☆38May 14, 2025Updated last year
- WALA-based Solidity static analysis. Currently it includes RoundAbout, a tool for inferring rounding direction across functions, expressi…☆19Updated this week
- ☆61Jul 19, 2024Updated 2 years ago
- Exploit for a soundness bug exploit in the zkSync Era ZK-circuits☆39Feb 23, 2025Updated last year
- A small password manager made in Rust.☆17May 16, 2024Updated 2 years ago
- Detects PM2.5 levels based on daily atmospheric conditions☆11Jul 21, 2021Updated 5 years ago
- Optimism is Ethereum, scaled.☆22Updated this week
- Demo UI used in my NFT course on Egghead.io☆11Mar 22, 2022Updated 4 years ago
- 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.
- DApp that let's you buy me a coffee with crypto ☕️☆13Oct 24, 2022Updated 4 years ago
- Purely Functional Data Structures☆13Dec 15, 2014Updated 11 years ago
- Godel Checker with data race detection☆10Feb 2, 2022Updated 4 years ago
- Google Tink's critical Ed25519 bug related to Java "final" keyword☆11Apr 5, 2020Updated 6 years ago
- Immunefi - Vaults Splitter☆29Mar 7, 2024Updated 2 years ago
- A Course in Data Structures & Algorithms, Purposeful Web Engineering, Software Construction☆10Sep 4, 2024Updated 2 years ago
- LibSA4Py: Light-weight static analysis for extracting type hints and features☆11Aug 23, 2023Updated 3 years ago
- ☆15Aug 19, 2026Updated 2 months ago
- Network graphs with nodes and edges written in Elm.☆11May 30, 2017Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Android Template Application to Demonstrate a number of Best Practises around Mobile Security☆10May 10, 2018Updated 8 years ago
- Mali GPU-assisted kernel exploitation☆17Dec 15, 2025Updated 10 months ago
- The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degre…☆11Oct 24, 2016Updated 10 years ago
- ☆42Apr 18, 2024Updated 2 years ago
- Bubo, the owl strategist, here to help you to build a fortune. NyxsOwl is an innovative machine learning framework designed to simplify a…☆10Jul 8, 2025Updated last year
- ☆10Feb 13, 2025Updated last year
- A DEX with BALLs☆14Aug 13, 2024Updated 2 years ago
- ☆46Oct 16, 2024Updated 2 years ago
- ☆11Sep 22, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Visual drag-and-drop builder for Sui Programmable Transaction Blocks that lets anyone design, simulate, and execute PTBs with automatic T…☆11May 22, 2026Updated 5 months ago
- Liquidation calculator for the Aave protocol☆14Sep 30, 2026Updated last month
- MoveBit Sampled Audit Reports☆52Oct 17, 2024Updated 2 years ago
- ☆13Jun 23, 2025Updated last year
- A short intro to Rust course, based loosely off the book.☆15Jan 29, 2026Updated 9 months ago
- Haskell exercises☆13May 23, 2020Updated 6 years ago
- Mu-FRET adds refactoring functionality to the Formal Requirements Elicitation Tool (FRET). Originally this work was part of the VALU3S pr…☆13Mar 14, 2026Updated 7 months ago