isan-Ethen

Enthusiastic Rustacean

Pinned Repositories

creusot
Creusot helps you prove your code is correct in an automated fashion.
Language:Rust1.1k 23 35350
creusot
Creusot helps you prove your code is correct in an automated fashion.
Language:Rust0 0 00
ishell
This is the isan's handmade shell written in Rust
Language:Rust00
linux-0.01
Historically first (actually 0.01) release of linux kernel made by Linus Torvalds
Language:C0 0 00
rust
Empowering everyone to build reliable and efficient software.
Language:Rust00
rust-package-downloader
This is a downloader for collect neccesary packages for installing software by apt.
Language:Rust00
rusty-microkernel
This is a Microkernel OS written in Rust
Language:Rust00
tautrust
Verifier written in Rust
Language:Rust2 3 630
rust
Empowering everyone to build reliable and efficient software.
Language:Rust97.3k 1.5k 54.7k12.6k
ikaruga
Language:TypeScript20

isan-Ethen's Repositories

isan-Ethen/tautrust
Verifier written in Rust
Language:Rust2 3 630
isan-Ethen/creusot
Creusot helps you prove your code is correct in an automated fashion.
Language:Rust0 0 00
isan-Ethen/ishell
This is the isan's handmade shell written in Rust
Language:Rust00
isan-Ethen/linux-0.01
Historically first (actually 0.01) release of linux kernel made by Linus Torvalds
Language:C0 0 00
isan-Ethen/rust
Empowering everyone to build reliable and efficient software.
Language:Rust00
isan-Ethen/rust-package-downloader
This is a downloader for collect neccesary packages for installing software by apt.
Language:Rust00
isan-Ethen/rusty-microkernel
This is a Microkernel OS written in Rust
Language:Rust00