An SDK for verifiable intent, inline with code: one-line claims above your functions, verified at the rigor you choose and flagged when they drift. Agent-first, MIT.
☆59Oct 1, 2026Updated last week
Alternatives and similar repositories for aristo
Users that are interested in aristo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Integer Multiplier Generator for Verilog☆26Jul 4, 2025Updated last year
- Minimal Cap'n Web tunnel for Cloudflare Workers and Node☆24Jul 3, 2026Updated 3 months ago
- Rust Bindings to interact with SMTLIB2 compliant solvers☆17Jun 3, 2019Updated 7 years ago
- Universal property-based testing protocol, built on Hypothesis☆95Jul 1, 2026Updated 3 months ago
- ☆12Feb 18, 2025Updated last year
- 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.
- RTL implementation of a performance/area optimized bfloat16 adder and multiplication.☆38Mar 28, 2026Updated 6 months ago
- A sexy binary protocol written in c with zero-allocations☆11Dec 13, 2025Updated 9 months ago
- ☆32Nov 2, 2025Updated 11 months ago
- Dependency manager and build tool for Swift☆11Nov 2, 2015Updated 10 years ago
- suite of binaries used to test function identification☆29Nov 7, 2017Updated 8 years ago
- Zig implementation of Apache Arrow☆19Jun 14, 2026Updated 3 months ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 3 years ago
- A Python-based hardware description language for PCBs for higher-level (block-diagram / system-architecture level) PCB design through lib…☆92Sep 27, 2026Updated 2 weeks ago
- bil verification tool☆12Jun 30, 2022Updated 4 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.
- This is the Go implementation of Money☆14Jan 12, 2024Updated 2 years ago
- ☆16Jan 25, 2026Updated 8 months ago
- ☆11May 21, 2021Updated 5 years ago
- A monadic Future design pattern implementation in Swift☆16Jan 6, 2018Updated 8 years ago
- Wokwi-example how the display is initialised for different boards☆12Mar 13, 2023Updated 3 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆15May 7, 2022Updated 4 years ago
- A simple API for managing a network cluster with smart peer discovery.☆20Jun 28, 2013Updated 13 years ago
- a PostgreSQL extension that allows you to set quotas on connections (per user, database or IP)☆13Dec 12, 2014Updated 11 years ago
- An example of on-boarding a PIO block in with duh and wake☆12Nov 18, 2020Updated 5 years ago
- 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.
- Arithmetic multiplier benchmarks☆12Nov 13, 2017Updated 8 years ago
- ☆12Dec 14, 2019Updated 6 years ago
- BATS Global Markets Wireshark Dissectors☆14Apr 2, 2019Updated 7 years ago
- Amahi Anywhere file server☆12Aug 23, 2020Updated 6 years ago
- Terminal chat with multiroom support over custom protocol.☆14Nov 9, 2021Updated 4 years ago
- Run VMs on a Weave network☆19Feb 28, 2020Updated 6 years ago
- Hardware Description from Technical Documentation☆15Oct 4, 2026Updated last week
- This is the pack for the pro@ namespace☆20Oct 4, 2026Updated last week
- Iodine: Verifying Constant-Time Execution of Hardware☆18Mar 29, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated last year
- A fork of Yosys that integrates the CellIFT pass☆14Sep 12, 2026Updated 3 weeks ago
- ☆12Aug 26, 2024Updated 2 years ago
- RISCV Core written in Calyx☆17Aug 16, 2024Updated 2 years ago
- ☆12May 20, 2021Updated 5 years ago
- Humansort implementation in rust☆19Jul 7, 2022Updated 4 years ago
- A tool for inspecting the contents of Apache Traffic Server caches☆14Sep 26, 2019Updated 7 years ago