system-pclub / rust-programming-challenges
code snippets for
☆9Updated 9 months ago
Alternatives and similar repositories for rust-programming-challenges:
Users that are interested in rust-programming-challenges are comparing it to the libraries listed below
- Rust Analysis Platform☆56Updated last week
- A curated list of awesome Rust checkers☆32Updated 2 weeks ago
- ☆145Updated 10 months ago
- ☆53Updated 2 years ago
- Concurrent-C to Rust Automatic Translator☆15Updated 2 years ago
- A framework for large scale analysis of the Rust ecosystem.☆38Updated this week
- understanding the safety of Rust☆98Updated 4 years ago
- Ownership analysis that helps translating C to Rust☆20Updated last year
- ☆46Updated 8 months ago
- A verified library of synchronization primitives and concurrent data structures☆31Updated last week
- A small library for BDD manipulation in Rust. Part of the BioDivine toolset.☆20Updated 3 months ago
- 项目的主仓库☆24Updated 2 years ago
- A Rust-based embedded operating system designed to enable memory safe, memory efficient, reliable, and responsive applications.☆63Updated 2 weeks ago
- A fully automated Rust fuzz driver generator☆52Updated 5 months ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆32Updated 6 months ago
- This repository contains the artifact for the SOSP'23 paper: Sishuai Gong, Dinglan Peng, Deniz Altınbüken, Pedro Fonseca, Petros Maniati…☆13Updated last year
- RedLeaf Operating System☆122Updated 2 years ago
- Which functions call each other in your rust crate? Static call graph analysis.☆33Updated 6 months ago
- Define compiler intermediate representation usable by external tools☆71Updated 9 months ago
- A Rust library for safely programming persistent memory☆74Updated 9 months ago
- A Speculation-Aware Collaborative Dependence Analysis Framework☆28Updated 9 months ago
- A Pointer Analysis Framework for Rust☆50Updated 2 months ago
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆33Updated 6 months ago
- ☆13Updated this week
- Rewrite Rule Inference Using Equality Saturation☆121Updated 9 months ago
- Collaborative Parallelization Framework (CPF)☆32Updated last year
- Thesis code☆26Updated last year
- A randomized program fuzzer for the Rust programming language☆63Updated last year
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆17Updated 2 weeks ago
- ☆70Updated last year