rellermeyer / course_os
CS 439 course OS
☆38Updated 5 months ago
Alternatives and similar repositories for course_os
Users that are interested in course_os are comparing it to the libraries listed below
Sorting:
- SAT solver written in Rust☆265Updated 2 years ago
- ☆16Updated 4 years ago
- Rust library to program hardware performance counter.☆53Updated 2 years ago
- ☆14Updated 11 months ago
- ☆84Updated 11 months ago
- The LLHD reference simulator.☆38Updated 4 years ago
- Tool to print stack usage information emitted by LLVM in human readable format☆53Updated 2 years ago
- ☆30Updated 3 years ago
- Datacenter simulation toolkit for the OpenDC project☆10Updated 4 years ago
- Rust, cargo and QEMU setup for multi-architecture OS development.☆39Updated 4 years ago
- A simple spinlock crate based on the abstractions provided by the `lock_api` crate.☆38Updated last year
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- Unified interface for type-safe MMIO and CPU register access in Rust☆48Updated 3 years ago
- A framework for large scale analysis of the Rust ecosystem.☆38Updated 2 weeks ago
- Verilator Porcelain☆47Updated last year
- efficient compact untagged streaming format using unaligned bitstreams☆104Updated 3 years ago
- Volatile access to memory mapped hardware registers☆37Updated last year
- Exploration of using Storage instead of Allocator to parameterize collections in Rust☆140Updated 2 years ago
- Reads and parses Linux device tree images☆16Updated last year
- RISC-V OS written in Rust☆140Updated 11 months ago
- CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI bre…☆10Updated 2 years ago
- A simple, dumb executor for rust futures in constrained environments.☆18Updated 6 years ago
- Rust implementation of the IPv8 application.☆14Updated 5 years ago
- Intrusive data structures in Rust☆11Updated 9 years ago
- Fearless hardware design☆176Updated 2 weeks ago
- A Hardware Description Language based on the Rust Programming Language☆206Updated this week
- ☆12Updated 2 weeks ago
- Virtual machine for executing CUDA PTX without a GPU☆33Updated last year
- A plugin for Criterion.rs to measure Linux perf events.☆42Updated last year
- Synthesis of Loop-free Programs in Rust☆65Updated 5 years ago