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.
☆65Oct 30, 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:
- Deterministic Linux VMs you can scrub, rewind and fork. Find and replay flaky builds and tests.☆113Updated this week
- Orion is a globally distributed SQL Database for storing control plane metadata of SAAS applications.☆16Oct 9, 2026Updated 3 weeks ago
- Universal property-based testing protocol, built on Hypothesis☆95Jul 1, 2026Updated 4 months ago
- `mutatis` is a library for writing custom, structure-aware test-case mutators for fuzzers in Rust.☆19Sep 16, 2026Updated last month
- Repository for synthCT framework (NDSS'22)☆10Oct 5, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A simple, embeddable time series database in Rust☆40Oct 16, 2026Updated 2 weeks ago
- 🥖 Relay for SwiftUI and Compose☆24Oct 19, 2026Updated 2 weeks ago
- manage minions like a boss☆11Oct 2, 2026Updated last month
- Rust bindings for SQLite that are no_std and wasm compatible☆50Dec 21, 2023Updated 2 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
- Integer Multiplier Generator for Verilog☆27Jul 4, 2025Updated last year
- Content-addressed identifiers in OCaml☆16Mar 23, 2023Updated 3 years ago
- OCaml bindings for xxHash, an extremely fast hash algorithm.☆14Sep 27, 2022Updated 4 years ago
- Minimal Cap'n Web tunnel for Cloudflare Workers and Node☆27Jul 3, 2026Updated 3 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Convert Markdown and YAML Data to OCaml Modules☆17Apr 26, 2023Updated 3 years ago
- Garbage collector experiments in Rust☆23May 23, 2016Updated 10 years ago
- Run your Binary Ninja Python console in a separate Terminal window.☆18Nov 1, 2018Updated 8 years ago
- ☆12Feb 18, 2025Updated last year
- A library to try and extend Compose.jl to 3D.☆20Nov 16, 2015Updated 10 years ago
- Sandbox untrusted code with safe access to the host.☆136Oct 18, 2026Updated 2 weeks ago
- A CLI for the Antithesis platform☆32Updated this week
- An experimental way to connect MCPs to Pi using Code☆40Feb 22, 2026Updated 8 months ago
- constant-size associative container backed by a simple array☆20Aug 6, 2023Updated 3 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.
- An implementation of the disruptor data structure in Rust☆48Jul 11, 2026Updated 3 months ago
- Effect-native realtime synchronization: shared contracts, server and client runtimes, and platform adapters.☆41Updated this week
- A sexy binary protocol written in c with zero-allocations☆11Dec 13, 2025Updated 10 months ago
- Rust client for Timeplus Proton, a fast and lightweight streaming SQL engine☆12Nov 24, 2025Updated 11 months ago
- An implementation of TinyLFU cache☆15Oct 10, 2022Updated 4 years ago
- TemperPaw — Agent daemon built on Temper platform☆12Updated this week
- Generalized RDF for Rust.☆13Nov 21, 2023Updated 2 years ago
- Lightweight Astro blog template using UnoCSS☆14Oct 26, 2026Updated last week
- This is a small demo of how to transform a simple single-server RocksDB service written in Rust into a distributed version using OmniPaxo…☆16Feb 5, 2025Updated last year
- 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.
- DEPRECATED: OpenSCAD like API for JSCAD (See the link below)☆14Jan 17, 2018Updated 8 years ago
- 6502 chip simulator in OCaml☆13Apr 30, 2026Updated 6 months ago
- ☆40Updated this week
- 📐 FLITE: FRAME, but lower on the dose of complexity, ergo lite. Part of Polkadot-SDK☆14Jun 1, 2025Updated last year
- Value log implementation for key-value separated storage in safe Rust☆44Sep 5, 2025Updated last year
- ☆32Nov 2, 2025Updated last year
- Co-operative allocation of domains for OCaml☆15Jan 26, 2023Updated 3 years ago