☆16Mar 3, 2021Updated 5 years ago
Alternatives and similar repositories for assert_panic_free
Users that are interested in assert_panic_free are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple Rust triggers that allows triggering a one time event in another task/thread☆22May 12, 2025Updated last year
- high-efficiency concurrent reclamation☆39Aug 29, 2024Updated last year
- IDLSet - Fast u64 integer set operations☆13May 30, 2024Updated 2 years ago
- 本文译自 University of Edinburgh 的 Volker Seeker 的 Process Scheduling in Linux ， 介绍了 Linux 3.1 的任务调度机制。☆11Aug 11, 2016Updated 9 years ago
- YCSB in Rust (WIP)☆19May 18, 2021Updated 5 years ago
- 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.
- Transport-polymorphic, asynchronous session types for Rust☆64Oct 19, 2022Updated 3 years ago
- trigger io::Error's in test, and annotate their source☆31Aug 5, 2023Updated 3 years ago
- SQL front-end in Rust☆14May 11, 2021Updated 5 years ago
- Model-based testing tool☆72Mar 12, 2025Updated last year
- Tiny little crate to determine how large an unnameable type is.☆12Mar 29, 2025Updated last year
- ☆16Jan 28, 2021Updated 5 years ago
- Log call tree summaries after each request for rust programs instrumented with `tracing`.☆45Apr 26, 2026Updated 3 months ago
- building blocks and testing tools for reliable systems☆30May 7, 2018Updated 8 years ago
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆27Feb 26, 2024Updated 2 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.
- A safe-guarded transmute for Rust☆42May 21, 2024Updated 2 years ago
- `prometheus` backend for `metrics` crate☆14Jul 23, 2026Updated 2 weeks ago
- Panther is an open-source, highly efficient text editor written from scratch in C++.☆17Jan 25, 2018Updated 8 years ago
- dom-like layout for terminal applications☆13Dec 27, 2020Updated 5 years ago
- rust hints to the optimizer☆19Aug 1, 2021Updated 5 years ago
- Rust bindings for SPDK☆19Sep 12, 2017Updated 8 years ago
- CI Job Parallelizer built on Docker and Kubernetes☆18Jun 7, 2017Updated 9 years ago
- AI-Assisted Verification of Data Structures☆21May 27, 2026Updated 2 months ago
- Wait for async tasks☆13Dec 22, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Hassle-free asynchronous programming for Rust☆34Apr 20, 2025Updated last year
- rust database engineering toolkit☆36Aug 6, 2021Updated 5 years ago
- log for concurrent workloads, with support for atomic batches and in-order recovery☆37May 16, 2022Updated 4 years ago
- ☆11Sep 21, 2018Updated 7 years ago
- Rust match_cast macro implementation☆24Sep 23, 2016Updated 9 years ago
- ☆16Jun 13, 2021Updated 5 years ago
- Rust library to program hardware performance counter.☆62Jun 12, 2026Updated last month
- CLI tool to work with Sled key-value databases.☆43Apr 2, 2025Updated last year
- Jepsen and Elle based Consistency Checking Interface☆21Feb 3, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A transducer library for Rust☆10May 22, 2016Updated 10 years ago
- ☆13Sep 30, 2020Updated 5 years ago
- ☆13May 10, 2018Updated 8 years ago
- an rope data structure☆11Dec 1, 2017Updated 8 years ago
- ☆12Nov 3, 2021Updated 4 years ago
- constant-size associative container backed by a simple array☆20Aug 6, 2023Updated 3 years ago
- An Emacs package to take a quick detour and come back.☆11Nov 22, 2018Updated 7 years ago