Automated security auditing for Claude Code
☆23Nov 6, 2026Updated last week
Alternatives and similar repositories for auditician
Users that are interested in auditician are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The UniFFI-translated librustzcash library☆22Aug 12, 2024Updated 2 years ago
- Rust tools for using FROST: frostd, a server to help participants communicate; and frost-client, a CLI tools that runs FROST using frostd☆20Nov 2, 2026Updated last week
- Overview of PureScript libraries/tools for Cardano☆11Jul 25, 2024Updated 2 years ago
- ☆14Updated this week
- Simple server monitoring with signal-cli notifications☆31Sep 29, 2026Updated last month
- 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.
- A Web3 crypto wallet for Solana, Cardano, Ethereum, EVMs, SVMs and Flow.☆10Apr 27, 2026Updated 6 months ago
- A curated list of awesome local AI projects and repos☆52Updated this week
- ☆10Apr 23, 2026Updated 6 months ago
- Interchain Atomicity, Blockbuilding and Routing via Composable VM☆13Apr 20, 2024Updated 2 years ago
- heavily optimized zcash indexer☆12Nov 6, 2026Updated last week
- Formal verification tool for Noir programs using the Rocq system☆12May 28, 2025Updated last year
- Simulation testing Cardano node(s)☆13Oct 28, 2026Updated 2 weeks ago
- ☆12Mar 30, 2023Updated 3 years ago
- The only meta transaction forwarder you need☆11May 30, 2024Updated 2 years 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.
- WebGPU MSM Implementation (BLS12-377 Curve) for ZPrize 2023☆14Nov 18, 2024Updated last year
- ☆11Dec 10, 2021Updated 4 years ago
- A Cardano datastore implementation using Yaci☆50Updated this week
- A decentralized education hub for Zcash.☆66Updated this week
- Implementation of the Clap language for ZK Circuits in the Lean proof-assistant☆16Updated this week
- A browser-based Cardano wallet for developers & testers☆13Jun 2, 2025Updated last year
- ☆11Mar 19, 2024Updated 2 years ago
- 🔬 A collection of scripts to classify and analyze the on-chain smart contract activity on Cardano☆10Sep 9, 2026Updated 2 months ago
- This repository holds copies of the Draft Cardano constitution☆12Mar 3, 2025Updated last year
- 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.
- ☆12Dec 20, 2023Updated 2 years ago
- repository for core circom and smart contract☆13Apr 23, 2023Updated 3 years ago
- PyOgmios is a Python version of the Ogmios Client☆10Oct 21, 2026Updated 3 weeks ago
- ☆11Oct 22, 2022Updated 4 years ago
- An experiment with stealth-addresses & EIP7702 on Odyssey testnet☆14Dec 6, 2024Updated last year
- Data from ABHOTH.☆13Oct 26, 2026Updated 2 weeks ago
- Verifying curve25519-dalek using Lean☆14Nov 5, 2026Updated last week
- The most comprehensive collection of intermediate level cadCAD methodologies on the web. If you're using cadCAD professionally, this is w…☆15Dec 10, 2021Updated 4 years ago
- A mock wallet implementation for testing out different products "as if" you were the user.☆15Nov 4, 2026Updated last week
- 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.
- ☆14Apr 13, 2022Updated 4 years ago
- ⚡ Every Ada Handle on Cardano, one request away. A self-hostable REST + MCP API indexed straight from the chain. 🐳☆14Nov 7, 2026Updated last week
- Calculation tool for loudspeaker design☆13Nov 1, 2026Updated last week
- Cross-browser cryptographic library implementing the Web Cryptography API.☆14Aug 15, 2024Updated 2 years ago
- ☆13Feb 5, 2024Updated 2 years ago
- Model-agnostic LLM benchmarking + tuning in one command. A model is a 15-key profile file. Built in production on a 4x NVIDIA DGX Spark c…☆10Sep 16, 2026Updated last month
- A CosmWasm contract verifying zero knowledge proof☆12Nov 16, 2023Updated 2 years ago
Are these results useful?