isan's repositories
rusty-microkernel
This is a Microkernel OS written in Rust
Language:RustApache-2.0000
ishell
This is the isan's handmade shell written in Rust
Language:RustApache-2.0000
rust-package-downloader
This is a downloader for collect neccesary packages for installing software by apt.
Language:RustApache-2.0000
rust
Empowering everyone to build reliable and efficient software.
NOASSERTION000
creusot
Creusot helps you prove your code is correct in an automated fashion.
LGPL-2.1000
linux-0.01
Historically first (actually 0.01) release of linux kernel made by Linus Torvalds
000