rellermeyer / course_os
CS 439 course OS
☆38Updated 2 months ago
Alternatives and similar repositories for course_os:
Users that are interested in course_os are comparing it to the libraries listed below
- SAT solver written in Rust☆258Updated 2 years ago
- Rust library to program hardware performance counter.☆53Updated 2 years ago
- Main kernel tree☆33Updated 6 years ago
- My PhD thesis (eventually)☆92Updated 4 years ago
- ☆13Updated 8 months ago
- Exploration of using Storage instead of Allocator to parameterize collections in Rust☆139Updated 2 years ago
- Testing project for Rust Wii☆6Updated 4 years ago
- FAQ on everything from CSE delft year 1☆12Updated 5 years ago
- R3-OS — Experimental static (μITRON-esque) RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation a…☆162Updated last year
- Native Rust implementation of the FST waveform format from GTKWave.☆12Updated 3 weeks ago
- ☆227Updated 8 months ago
- Rust-based Unikernel☆126Updated last year
- Initialization code ("crt0") written in Rust☆68Updated 3 years ago
- Datacenter simulation toolkit for the OpenDC project☆10Updated 4 years ago
- perf-event: a Rust interface to Linux performance monitoring☆112Updated 10 months ago
- RISC-V OS written in Rust☆139Updated 8 months ago
- Safe, fallible, embedded-friendly ordered set/map via a scapegoat tree. Validated against BTreeSet/BTreeMap.☆258Updated 3 years ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆87Updated this week
- Tool to print stack usage information emitted by LLVM in human readable format☆53Updated 2 years ago
- Please do not use this.☆174Updated 3 years ago
- A cross-platform `addr2line` clone written in Rust, using `gimli`☆339Updated 4 months ago
- Unified interface for type-safe MMIO and CPU register access in Rust☆48Updated 3 years ago
- A Hardware Description Language based on the Rust Programming Language☆182Updated this week
- A nicer HDL.☆96Updated 7 years ago
- The LLHD reference simulator.☆37Updated 4 years ago
- An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust☆168Updated 7 years ago
- ☆73Updated 8 months ago
- Macro to generate bitfields for structs that allow for modular use of enums.☆180Updated 3 months ago
- 🌵 Cycle-Aware Reference Counting in Rust☆146Updated this week