☆43Apr 18, 2023Updated 3 years ago
Alternatives and similar repositories for rust-deadlock-avoidance
Users that are interested in rust-deadlock-avoidance are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆52Dec 14, 2024Updated last year
- A Configuration Library for Rust Applications☆54Jun 22, 2026Updated last week
- ☆20Updated this week
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- ☆21Jun 17, 2025Updated last year
- 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.
- Deprecated! Use qemu-rs instead :)☆73Dec 19, 2023Updated 2 years ago
- A concurrent GC.☆44Jul 10, 2022Updated 3 years ago
- ☆31Jun 1, 2023Updated 3 years ago
- Allow function lifetime elision and explicit `for<'a>` annotations on closures.☆27Jan 31, 2022Updated 4 years ago
- Count directory entries—`ls | wc -l` but faster☆28Jun 20, 2026Updated last week
- A Postgres Extension to Manage Extensions! (As well as some random stuff)☆15May 31, 2023Updated 3 years ago
- A Type-1.5 hypervisor written in Rust.☆72May 12, 2024Updated 2 years ago
- Queue futures to run concurrently, in the order they're spawned, and with global and group limits.☆70Jun 22, 2026Updated last week
- A crate to provide anonymous row type, which fields can be access by lens-rs☆15May 27, 2021Updated 5 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆73Nov 29, 2021Updated 4 years ago
- Where is my space?☆42Mar 12, 2026Updated 3 months ago
- Macros to erase scope information from tokens☆26Updated this week
- 快速陷入处理☆40Jan 22, 2026Updated 5 months ago
- serde::Deserializer for proc_macro/proc_macro2::TokenStream☆77Feb 23, 2026Updated 4 months ago
- Aspect-oriented programming in Rust☆15Nov 1, 2021Updated 4 years ago
- Toy benchmark comparing RocksDB and Sled☆14Aug 27, 2023Updated 2 years ago
- A `Send` version of `Iterator::chunks`☆20Feb 22, 2026Updated 4 months ago
- RustTalk 节目策划☆17Jun 7, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Transmissing metainfo across components.☆22Jul 28, 2025Updated 11 months ago
- Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!☆217Jul 26, 2020Updated 5 years ago
- An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.☆49Mar 29, 2022Updated 4 years ago
- 用Rust语言重写Linux kernel中的KVM☆15Apr 17, 2022Updated 4 years ago
- 基于 CUDA Driver API 的 cuda 运行时环境☆16Jul 30, 2025Updated 10 months ago
- 基于eBPF实现高性能用户态文件系统功能☆14May 9, 2025Updated last year
- Lending iterators on stable Rust☆88Jan 12, 2024Updated 2 years ago
- hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.☆50Feb 20, 2023Updated 3 years ago
- 实验：rust 实现 llama2 推理☆17Feb 23, 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.
- Another Async IO Framework based on io_uring☆63May 5, 2022Updated 4 years ago
- 自嗨虚拟化软件 - 'Enjoy yourself' type-1 hypervisor software☆25Apr 21, 2022Updated 4 years ago
- A WIP Float32 soft FPU implementation☆22Jun 25, 2021Updated 5 years ago
- Writing a hypervisor in Rust☆11Apr 1, 2025Updated last year
- Enhancement over Rust's `std::BinaryHeap`. Supports other than max heap.☆59Mar 20, 2024Updated 2 years ago
- An inline SIMD accelerated hashmap designed for small amount of data.☆107Feb 4, 2026Updated 4 months ago
- Data-driven tests on stable Rust☆51Updated this week