brettcannon / riscv-harmony
A RISC-V ISA simulator written in Rust
☆12Updated 7 years ago
Related projects: ⓘ
- Deprecated in favor of the libm crate.☆29Updated 6 years ago
- safe and efficient memory manager for microcontrollers☆34Updated 7 years ago
- ☆13Updated 7 years ago
- File descriptor passing through UNIX socket☆10Updated 8 years ago
- Dynamic packet parsing within trees 🌲🌳🌴☆24Updated 6 years ago
- Like Chroma-Hash, but with ANSI terminal colors | now on https://codeberg.org/valpackett/colorhash256☆9Updated last year
- Lint to disallow the moving of marked types in Rust☆34Updated 8 years ago
- x86 bare metal Rust thing☆28Updated 8 years ago
- A multi-platform embedded software development kit using the Rust programming language.☆43Updated 4 years ago
- ☆35Updated this week
- Testing ground for the Copper book (http://japaric.github.io/copper/).☆58Updated 7 years ago
- Implementation of Shamir's secret sharing in Rust☆36Updated 8 years ago
- A fuzzing tool for incremental compilation that walks git history☆33Updated 6 years ago
- A Delicious Build Tool.☆64Updated 8 years ago
- Extended Search & Ranking tool for crates.☆24Updated 3 years ago
- ☆16Updated 8 years ago
- ☆24Updated this week
- Atomic ring buffer is a fixed-size multi-producer multi-consumer queue that works on bare-metal systems.☆49Updated 6 years ago
- A [not-really-working] compiler from the ground-up☆11Updated 6 years ago
- SecBox - Sensitive data container☆14Updated 8 years ago
- Demo: OS sandboxing for unsafe code in Rust☆13Updated 9 years ago
- Rust embed crate☆15Updated 7 years ago
- [SUPERSEDED] by https://github.com/japaric/cargo-sysroot☆14Updated 8 years ago
- [deprecated, not needed anymore] A stripped-down version of Rust's libcore that used to be required for the AVR target☆16Updated 6 years ago
- Constant Time Operations for Crypto Libraries☆10Updated 7 years ago
- A rustic tcp + serialization abstraction.☆33Updated 8 years ago
- https://www.reddit.com/r/rust/comments/5mlxps/rust_makes_implicit_invariants_explicit/dc57wd3/☆13Updated 7 years ago