- Bellevue, Washington
-
05:06
(UTC -07:00) - https://www.theseus-os.com/kevinaboos/
- https://orcid.org/0009-0004-6423-214X
- in/kevinaboos
- @kevinaboos@mastodon.social
Stars
Background Music, a macOS audio utility: automatically pause your music, set individual apps' volumes and record system audio.
A multi-platform companion tool to help package your Rust app when using `cargo-packager`
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…
Rust executable packager, bundler and updater.
A Crate for running Windows PowerShell scripts
Mirror of https://gitee.com/openharmony/docs
Robrix: a multi-platform Matrix chat client written in Rust, using the Makepad UI toolkit and the Robius app dev framework
Curated list of resources for Embedded and Low-level development in the Rust programming language
A fast and flexible allocator for no_std and WebAssembly
A Stable ABI for Rust with compact sum-types
A modern and lightweight implementation of arbitrary integers for Rust
IO-agnostic line editor for embedded systems
Experimental kernel with built-in replication.
Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl
The blog website for Theseus OS info and development updates.
Rust Memory Safety & Undefined Behavior Detection
additional functionality via binary patching
A wiki about Rust's ABI and plans to stabilize it. Open to editing, all PRs will be merged.
Additional documentation for experience kits with Ansible-based deployment.
Check your crate for (possible) no_std compatibility