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.
☆53Sep 16, 2026Updated this 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:
- Baking rumprun images with cargo☆12Sep 26, 2015Updated 10 years ago
- A Rust error crate with the goal of identifying precisely where and in which context an error occurs.☆21Mar 2, 2025Updated last year
- Universal property-based testing protocol, built on Hypothesis☆95Jul 1, 2026Updated 2 months ago
- ☆12Feb 18, 2025Updated last year
- RTL implementation of a performance/area optimized bfloat16 adder and multiplication.☆37Mar 28, 2026Updated 5 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A Bit Stream helper in Golang☆12May 26, 2019Updated 7 years ago
- ☆32Nov 2, 2025Updated 10 months ago
- Dependency manager and build tool for Swift☆11Nov 2, 2015Updated 10 years ago
- A Modeling and Verification Platform for SoCs using ILAs☆81Jul 3, 2024Updated 2 years ago
- A Python-based hardware description language for PCBs for higher-level (block-diagram / system-architecture level) PCB design through lib…☆92Updated this week
- bil verification tool☆12Jun 30, 2022Updated 4 years ago
- Install multiple versions of r2 and its plugins via Pip on any system!☆26Aug 30, 2024Updated 2 years ago
- This is the Go implementation of Money☆14Jan 12, 2024Updated 2 years ago
- ☆16Jan 25, 2026Updated 7 months ago
- 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 monadic Future design pattern implementation in Swift☆16Jan 6, 2018Updated 8 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆15May 7, 2022Updated 4 years ago
- FPGA synthesis tool powered by equality saturation and program synthesis.☆14Jan 9, 2026Updated 8 months 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
- Repository containing ULX3S blink LED binaries☆14May 16, 2022Updated 4 years ago
- A Unique Hybrid Logical Clock for Rust☆61Jan 12, 2026Updated 8 months ago
- Arithmetic multiplier benchmarks☆12Nov 13, 2017Updated 8 years ago
- ☆12Dec 14, 2019Updated 6 years ago
- 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.
- Decentralized community-driven funding protocol for Web3☆20Aug 26, 2025Updated last year
- Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)☆12Dec 16, 2021Updated 4 years ago
- Wavious Wlink☆12Oct 28, 2021Updated 4 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
- Reticle evaluation (PLDI 2021)☆12Apr 12, 2021Updated 5 years ago
- Run VMs on a Weave network☆19Feb 28, 2020Updated 6 years ago
- Hardware Description from Technical Documentation☆15Updated this week
- This is the pack for the pro@ namespace☆20Updated this week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Iodine: Verifying Constant-Time Execution of Hardware☆18Mar 29, 2021Updated 5 years ago
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated last year
- A Rust hash table using 8-way hopscotch hashing with constant-time worst-case lookups, and SIMD acceleration☆26Sep 4, 2026Updated 2 weeks ago
- A tutorial for setting up Symbolic Quick Error Detection (SQED) using the model checker, CoSA, on the Ride Core☆11May 24, 2019Updated 7 years ago
- Whisk: 16-bit serial processor for TT02☆13Sep 30, 2024Updated last year
- A lezer-based PromQL grammar☆13Jul 11, 2022Updated 4 years ago
- A very simple Wavefront OBJ viewer using tobj and glium☆13Dec 11, 2020Updated 5 years ago