Reports from automated security audits made by Swival.
☆80Aug 13, 2026Updated 2 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:
- A benchmarking harness for coding agents.☆17Updated this week
- A repository containing succinct SP1 programs and prover service for proving zk evm chains on celestia☆13Nov 2, 2026Updated last week
- zkVMs vulnerabilities☆16May 4, 2026Updated 6 months ago
- ☆15Apr 26, 2025Updated last year
- Codex-first fork of Anthropic's defending-code-reference-harness for vulnerability discovery and patch validation☆78Jun 6, 2026Updated 5 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Library for interacting with Access List☆18Sep 13, 2022Updated 4 years ago
- ☆20Updated this week
- General plug-and-play inference library for Recursive Language Models (RLMs), supporting various sandboxes.☆17Apr 26, 2026Updated 6 months ago
- A github action to easily build your Substrate WASM runtime using srtool with your CI☆20Jan 2, 2024Updated 2 years ago
- Parallel Sorting for Go☆16Jul 7, 2025Updated last year
- APKs of the releases of Sentinel☆12Oct 29, 2026Updated 2 weeks ago
- Claude skill for cloning onchain smart contracts with etherscan.☆25Apr 23, 2026Updated 6 months ago
- Celestia derivation pipeline and proof crate built with kona☆15Jun 24, 2026Updated 4 months ago
- AuditAgent scoring algorithm to evaluate the results of AI security scans versus a source of truth.☆18Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆14Jan 7, 2025Updated last year
- The pre-emptive time slicing scheduler, for Rust☆11Apr 3, 2026Updated 7 months ago
- Cuda implemenation of flash-kmeans, 2x faster☆23May 8, 2026Updated 6 months ago
- GitHub Advisory Database RSS Feeds.☆14Updated this week
- a CTF tool for managing challenges and deploying them across multiple CTF platforms☆14Aug 16, 2026Updated 2 months ago
- ☆22Jan 16, 2024Updated 2 years ago
- ☆52Oct 19, 2026Updated 3 weeks ago
- For loops in const☆13Jul 3, 2026Updated 4 months ago
- Refinement proofs in Lean for EVM bytecode☆29Oct 26, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Cross-platform supply-chain guard for CI: supervised-run audit/block (eBPF/ETW) + minimum-release-age proxy & lockfile check for npm, car…☆77Updated this week
- SQLite integration via WASM☆12Dec 5, 2023Updated 2 years ago
- A Free prover network for SP1, RISC Zero, and OpenVM.☆12Sep 6, 2026Updated 2 months ago
- Shared Zig HTTP primitives. Radix trie router (43.5M lookups/sec, faster than Go httprouter), HTTP utilities, bounded cache. Zero depende…☆13Aug 26, 2026Updated 2 months ago
- ☆14Sep 20, 2026Updated last month
- A group of advanced cyber plugins for Codex☆15Jul 1, 2026Updated 4 months ago
- Secure, private file storage, backup & sharing. Fully open-source with client-side encryption.☆20Updated this week
- Proof of Concept of (now fixed) vulnerability in Notional smart contracts☆40Oct 30, 2022Updated 4 years ago
- Beat a formally verified Yul → EVM compiler on total gas — while its machine-checked correctness theorem still proves.☆34Oct 20, 2026Updated 3 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Bitcoin + Lightning Node with a beautiful TUI.☆21Updated this week
- Collenchyma plugin for backend-agnostic Neural Network operations☆14May 1, 2016Updated 10 years ago
- umber-lang - A Rust compiled programming language.☆11Oct 30, 2024Updated 2 years ago
- ☆24Updated this week
- Archived. Lexe Sidecar SDK docs: https://docs.lexe.tech/sidecar/☆10Sep 30, 2026Updated last month
- An Rust error library that supports tracking the call-site location of errors.☆17Updated this week
- Experiments with idea from the blog post "Stack-safety for free?"☆12Nov 29, 2021Updated 4 years ago
Are these results useful?