๐ฐ๏ธ
PhD student at University Politehnica of Bucharest. @cs-pub-ro
-
University Politehnica of Bucharest
- Bucharest
- https://vladandrew.github.io/
Stars
8
stars
written in Rust
Clear filter
Empowering everyone to build reliable and efficient software.
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
A secure embedded operating system for microcontrollers
A new operating system kernel with Linux binary compatibility written in Rust.
Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety anโฆ