kevinaboos
Principal Architect at @futurewei-tech. Tech lead for @project-robius. Creator of @theseus-os. Open-source Rust developer. PhD, Rice University
@futurewei-tech, @theseus-osBellevue, Washington
Pinned Repositories
382V-AES-Project-NoShared
Testing AES SpecC with no shared variables
advent_of_code
quick & lazy Rust solutions for the Advent of Code
LibToolingExample
An example of how to use Clang's LibTooling interface.
PluginExample
A Clang Plugin example to accompany my tutorial.
Theseus
A modern experimental OS written from scratch in Rust to experiment with novel OS structure and state management.
makepad
Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl
book
The Robius book: details about our vision for multi-platform app dev in Rust, plus docs, tutorials, examples, and more.
robrix
A Matrix chat client written using the Robius app dev framework in Rust
irq_safety
Interrupt-safe locking structures, like Mutex and RwLock, for Rust no_std environments.
Theseus
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 and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.
kevinaboos's Repositories
kevinaboos/LibToolingExample
An example of how to use Clang's LibTooling interface.
kevinaboos/PluginExample
A Clang Plugin example to accompany my tutorial.
kevinaboos/Theseus
A modern experimental OS written from scratch in Rust to experiment with novel OS structure and state management.
kevinaboos/382V-AES-Project-NoShared
Testing AES SpecC with no shared variables
kevinaboos/advent_of_code
quick & lazy Rust solutions for the Advent of Code
kevinaboos/awesome-rust
A curated list of Rust code and resources.
kevinaboos/derive_more
Some more derive(Trait) options
kevinaboos/awesome-dioxus
An awesome list of Dioxus-related content and resources
kevinaboos/docsite
Dioxuslabs.com documentation site
kevinaboos/hashmap_core
Implementation of HashMap and HashSet for no_std environments
kevinaboos/irq_safety
Interrupt-safe locking structures, like Mutex and RwLock, for Rust no_std environments.
kevinaboos/kcluster-client
Client for KubeCluster
kevinaboos/makepad
Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl
kevinaboos/makepad_book
kevinaboos/multiboot2-elf64
kevinaboos/rfcs
RFCs for changes to Rust
kevinaboos/robius_book
The Robius book: details about our vision for multi-platform app dev in Rust, plus docs, tutorials, examples, and more.
kevinaboos/robrix
A Matrix chat client written using the Robius app dev framework in Rust
kevinaboos/rust-immintrin
Intel x86 intrinsics (_mm_*) for Rust.
kevinaboos/rust-managed
A library that provides a way to logically own objects, whether or not heap allocation is available
kevinaboos/rust-os-comparison
A comparison of operating systems written in Rust
kevinaboos/rust_read_rlib
kevinaboos/smoltcp
a smol tcp/ip stack
kevinaboos/steed
[WIP] Rust's standard library, free of C dependencies, for Linux systems
kevinaboos/syscall.rs
Raw system calls for Rust
kevinaboos/uX
Non standard integer types like `u7`, `u9`, `u10`, `u63`, `i7`, `i9`
kevinaboos/x86_64
Library to program x86_64 hardware.