Pinned Repositories
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.
aarch64-cpu
Low level access to processors using the AArch64 execution state.
apheleia-backend
arboard
A clipboard for Rust
arunos
A simple operating system for ARM processors
kaitai-rs
A macro for compiling Kaitai Struct into Rust.
memorage
A peer to peer backup service.
tsoutsman's Repositories
tsoutsman/kaitai-rs
A macro for compiling Kaitai Struct into Rust.
tsoutsman/memorage
A peer to peer backup service.
tsoutsman/aarch64-cpu
Low level access to processors using the AArch64 execution state.
tsoutsman/apheleia-backend
tsoutsman/arboard
A clipboard for Rust
tsoutsman/backtrace-rs
Backtraces in Rust
tsoutsman/bootloader
An experimental pure-Rust x86 bootloader
tsoutsman/comp2560
tsoutsman/dashmap
Blazing fast concurrent HashMap for Rust.
tsoutsman/graph-expressiveness
tsoutsman/irq_safety
Interrupt-safe locking structures, like Mutex and RwLock, for Rust no_std environments.
tsoutsman/k32l3a60-cm0plus
Peripheral access API for the Cortex M0+ core on the K32L3A60 microcontroller
tsoutsman/k32l3a60-cm4
Peripheral access API for the Cortex M4 core on the K32L3A60 microcontroller
tsoutsman/libc
Raw bindings to platform APIs for Rust
tsoutsman/math2305-ase
tsoutsman/mdls
A language server for Markdown.
tsoutsman/moxin
Moxin: Pure Rust AI LLM Platform
tsoutsman/provision
tsoutsman/robius-android-env
easy Rust access to Android state (native Java objects) managed by UI toolkits
tsoutsman/robius-demo-simple
Simple Makepad app that demonstrates how to use various Robius platform crates, e.g., 𝚛𝚘𝚋𝚒𝚞𝚜-𝚊𝚞𝚝𝚑𝚎𝚗𝚝𝚒𝚌𝚊𝚝𝚒𝚘𝚗, 𝚛𝚘𝚋𝚒𝚞𝚜-𝚘𝚙𝚎𝚗
tsoutsman/rust
Empowering everyone to build reliable and efficient software.
tsoutsman/rustyline
Readline Implementation in Rust
tsoutsman/seL4
The seL4 microkernel
tsoutsman/smoltcp
a smol tcp/ip stack
tsoutsman/spin-rs
Spin-based synchronization primitives
tsoutsman/Theseus
Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧, novel OS structure, and state management. It strives to close the semantic gap between compiler and hardware to maximally leverage the power of language safety, and thus shift OS responsibilities like resource management into the compiler.
tsoutsman/thingy
tsoutsman/uefi-boot
tsoutsman/wasmtime
A standalone runtime for WebAssembly
tsoutsman/x86_64
Library to program x86_64 hardware.