Rust port of porcupine, the fast linearizability checker originally implemented in Go
☆29Apr 26, 2026Updated 5 months ago
Alternatives and similar repositories for porcupine-rust
Users that are interested in porcupine-rust are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lock free MPSC Channel in Rust (a port of ringmpsc in Zig - see README)☆28Sep 5, 2026Updated last month
- A self-verifying, self-improving Place for an AI to live within: an untrusted inhabitant acts through a machine-checked policy envelope w…☆19Sep 26, 2026Updated 3 weeks ago
- Distributed KV store on QuePaxa consensus (SOSP '23), TigerBeetle-style deterministic simulation testing, live WASM demo☆11Jul 10, 2026Updated 3 months ago
- GitHub Actions runners☆15Sep 28, 2026Updated 3 weeks ago
- Extremely fast and massively parallel analytics database☆12May 23, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A Logging Daemon☆11Jan 5, 2022Updated 4 years ago
- Manifold k-NN: Accelerated k-NN Queries for Manifold Point Clouds☆14Jun 1, 2026Updated 4 months ago
- ☆24Aug 22, 2025Updated last year
- Go library to compile PRQL to SQL☆14Apr 3, 2023Updated 3 years ago
- A terminal Checkbox component designed for ratatui interoperability https://github.com/ratatui/ratatui☆17Updated this week
- Durable Go data structures and primitives backed directly on S3-compatible storage.☆22Aug 21, 2026Updated 2 months ago
- Class of data structures that can be unfolded.☆22Jan 6, 2026Updated 9 months ago
- Fan out your agents. A Linux workspace manager for running coding agents in parallel, one workspace per task.☆115Oct 15, 2026Updated last week
- A GitHub action for deploying Shuttle projects☆37Jan 23, 2025Updated last year
- 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.
- (Lean)DOOM: a native Lean 4 DOOM engine with original-WAD support and kernel-checked movement and autoaim proofs.☆19Oct 4, 2026Updated 2 weeks ago
- Shared memory queues (channels) in Odin☆13Aug 6, 2023Updated 3 years ago
- Essential utils for promises.☆10Nov 30, 2023Updated 2 years ago
- A proxy from Kubernetes workloads to Fly Machines☆13Jun 9, 2024Updated 2 years ago
- blazigly fast Clickhouse client ⚡️☆14Oct 31, 2024Updated last year
- Web analysis tool for Linux perf profiles☆37May 23, 2026Updated 5 months ago
- Completion-based I/O for Rust. No runtime, no hidden tasks.☆81Aug 26, 2026Updated last month
- ☆25Sep 18, 2025Updated last year
- Example layout for a package using Go assembly.☆13Aug 18, 2016Updated 10 years ago
- 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.
- A TOTP and HOTP library for zig.☆10Oct 5, 2026Updated 2 weeks ago
- A Rust implementation of the PCP instrumentation API☆35Sep 4, 2026Updated last month
- First-class compile‑time Arrow schemas for Rust.☆215Oct 7, 2026Updated 2 weeks ago
- Composable agent runtime with enforced isolation boundaries☆88Oct 12, 2026Updated last week
- Port knocking implementation in eBPF☆12Sep 1, 2025Updated last year
- ☆25Jan 8, 2021Updated 5 years ago
- [WIP] A pure-Zig TLS 1.3 client implementation.☆14Nov 2, 2022Updated 3 years ago
- Lean 4 framework for reasoning about Triton-style kernels.☆29Oct 14, 2026Updated last week
- Harden your Rust with specifications.☆114Updated this week
- 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.
- Modular framework for building reliable, easy to operate, high performance, EVM-compatible networks.☆25Mar 17, 2026Updated 7 months ago
- OpenSource Product Analytics Database☆29Oct 1, 2024Updated 2 years ago
- Modular runtime for Github actions☆38Sep 1, 2026Updated last month
- A multitrack player that runs on Linux and outputs to class compliant devices.☆26Oct 3, 2026Updated 2 weeks ago
- Convolutional neural network for categorising prostate cancer from MRI images.☆11Jul 22, 2020Updated 6 years ago
- Script used to unmangle rust symbols☆24Sep 29, 2016Updated 10 years ago
- An Elixir client for Cloudflare Durable Objects with WebSocket support☆12Mar 25, 2026Updated 6 months ago