Automated security audits with Claude Code
☆57Aug 15, 2026Updated 2 months ago
Alternatives and similar repositories for auditician-temp
Users that are interested in auditician-temp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Zcash blockchain explorer. Privacy meets transparency.☆14Updated this week
- Zcash - Zebra Crosslink Prototype 🦓☆15Apr 21, 2026Updated 6 months ago
- ☆19Sep 4, 2026Updated 2 months ago
- An implementation of the ls command, in Rust.☆11May 16, 2023Updated 3 years ago
- An RPC wallet designed to replace the deprecated `zcashd` embedded wallet.☆43Updated this week
- 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.
- Rust language proof-carrying data framework☆61Updated this week
- Uniswap V4 Vanity Miner☆36May 31, 2025Updated last year
- CLI app for developers prototyping Zcash functionality.☆27Oct 25, 2026Updated 2 weeks ago
- Formal Verification of the Zcash Protocol and Documentation for the Ironwood Pool☆24Updated this week
- ☆10Jan 7, 2024Updated 2 years ago
- Ordinals Ord20 Meta Protocol Indexer☆12May 7, 2025Updated last year
- Example integrations with the Sablier Protocol on the EVM☆20Apr 3, 2026Updated 7 months ago
- Zcash full node, built for scale.☆100Updated this week
- K semantics for Solana☆16Jun 23, 2026Updated 4 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆12Oct 19, 2026Updated 3 weeks ago
- ☆20Nov 3, 2025Updated last year
- Semaphore v4 implemented in Rust☆12Oct 7, 2025Updated last year
- Simulation testing Cardano node(s)☆13Oct 28, 2026Updated 2 weeks ago
- Ethereum Protocol Security Review Assistant☆16Jun 29, 2026Updated 4 months ago
- SpeakUp zkVM Website☆15Jul 3, 2026Updated 4 months ago
- ☆17Oct 31, 2026Updated last week
- A stateless Ethereum execution client☆34Feb 13, 2026Updated 8 months ago
- Zaino is an indexer for the Zcash blockchain implemented in Rust.☆36Nov 4, 2026Updated last week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- StrapiRuby is a Ruby wrapper gem around Strapi REST API. #hacktoberfest☆15Jul 20, 2025Updated last year
- RAILGUN Circuits V2☆29Jul 27, 2026Updated 3 months ago
- ☆21Jul 23, 2026Updated 3 months ago
- ☆15Aug 6, 2026Updated 3 months ago
- 🎛 Peripheral smart contracts for interacting with Sablier V2☆24Mar 26, 2025Updated last year
- ☆20Sep 12, 2026Updated last month
- Rust Implementation of a Next-Generation Multi-Factor Key Derivation Function (MFKDF2)☆17Apr 20, 2026Updated 6 months ago
- ☆18Updated this week
- Curated collection of educational materials on the many-worlds interpretation of quantum mechanics☆34Sep 29, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Non-deterministic Prolog implementation for recreational linguistics☆12May 9, 2015Updated 11 years ago
- Ring Signature-like Protocol for Anonymous Ethereum Signatures☆10Nov 21, 2024Updated last year
- ☆54Feb 20, 2025Updated last year
- An efuns (initially was found on http://pauillac.inria.fr/cdrom_a_graver/prog/unix/efuns/eng.htm)☆12Jan 9, 2011Updated 15 years ago
- Implementations of common streaming abstractions in OCaml.☆12Jun 28, 2016Updated 10 years ago
- ☆13Apr 16, 2025Updated last year
- High Performance SSZ Implementation☆14Jan 1, 2025Updated last year
Are these results useful?