Reports from automated security audits made by Swival.
☆80Aug 13, 2026Updated last month
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.☆17Sep 23, 2026Updated last week
- A small, powerful, open-source CLI coding agent that works with open models.☆341Updated this week
- ☆15Apr 26, 2025Updated last year
- General plug-and-play inference library for Recursive Language Models (RLMs), supporting various sandboxes.☆17Apr 26, 2026Updated 5 months ago
- Parallel Sorting for Go☆16Jul 7, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆22Jan 16, 2024Updated 2 years ago
- A github action to easily build your Substrate WASM runtime using srtool with your CI☆20Jan 2, 2024Updated 2 years ago
- ☆51Sep 7, 2026Updated 3 weeks ago
- For loops in const☆13Jul 3, 2026Updated 3 months ago
- A curated list of awesome ton security resources☆43Jul 11, 2026Updated 2 months ago
- FIGR-8, but images in .SVG vector graphics format☆16Feb 16, 2019Updated 7 years ago
- Farcaster Native ERC20 Token Contract Template☆15Jul 13, 2024Updated 2 years ago
- ☆10Mar 25, 2025Updated last year
- SQLite integration via WASM☆12Dec 5, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Experiments with idea from the blog post "Stack-safety for free?"☆12Nov 29, 2021Updated 4 years ago
- Playable OP-1 patch previews in the browser☆13May 3, 2017Updated 9 years ago
- umber-lang - A Rust compiled programming language.☆11Oct 30, 2024Updated last year
- ✨ Fetches your schedule (Google Calendar) and outputs it as a single LLM prompt, with an optional MCP server mode.☆15Dec 21, 2025Updated 9 months ago
- a bot using an OODA loop...☆25Jan 19, 2026Updated 8 months ago
- AI-powered security scanner for Claude Code plugins and skills - LLM analysis, static rules, taint tracking, CI/PR integration, and inte…☆15Mar 1, 2026Updated 7 months ago
- ☆12Jun 5, 2025Updated last year
- Example code for my magic bitboard article.☆12Sep 24, 2022Updated 4 years ago
- ☆16Apr 2, 2026Updated 6 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.
- Verified arithmetic circuit simplifier: Lean 4 proof + Rust FFI☆15Apr 6, 2026Updated 5 months ago
- Smart contracts to manage synchronous rollups in Ethereum using ZK proofs☆26Updated this week
- ☆12Jan 25, 2024Updated 2 years ago
- MiRAGE: A Multiagent Framework for Generating Multimodal Multihop Question-Answer Dataset for RAG Evaluation☆24Aug 5, 2026Updated last month
- A framework for AI systems to write EVM bytecode and prove it safe, built on NethermindEth/EVMYulLean.☆39Jun 24, 2026Updated 3 months ago
- ShadowBound: Efficient Memory Protection through Advanced Metadata Management and Customized Compiler Optimization (USENIX Security 2024)…☆27Jul 31, 2024Updated 2 years ago
- The home for Rust's governance documentation, such as team charters.☆14Jan 26, 2022Updated 4 years ago
- ☆17Apr 9, 2026Updated 5 months ago
- Runs Foundry Test on Pahsov skills☆16Mar 28, 2026Updated 6 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- comptime-fused serialization library for zig☆41Apr 22, 2026Updated 5 months ago
- Monolithic repository of everything Oraichain☆28Nov 13, 2024Updated last year
- A collection of resources relevant to the PSE Security Team.☆12Apr 17, 2023Updated 3 years ago
- ☆41May 31, 2022Updated 4 years ago
- AWS Nitro enclave examples for python and golang☆12Aug 22, 2023Updated 3 years ago
- Mini AI Developer☆20Mar 17, 2026Updated 6 months ago
- purescript-react wrappers for map gl☆12Mar 8, 2023Updated 3 years ago