Skip to content
View kevinaboos's full-sized avatar
💻
Working on Project Robius, Robrix, and Makepad
💻
Working on Project Robius, Robrix, and Makepad

Organizations

@theseus-os@project-robius@rust-app-dev@palpo-matrix-server@moxin-org@a2app@octos-org

Block or report kevinaboos

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. theseus-os/Theseustheseus-os/TheseusPublic

    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 3.2k 185

  2. project-robius/robrixproject-robius/robrixPublic

    Robrix: a multi-platform Matrix chat client written in Rust, using the Makepad UI toolkit and the Robius app dev framework

    Rust 480 64

  3. project-robius/bookproject-robius/bookPublic

    The Robius book: details about our vision for multi-platform app dev in Rust, plus docs, tutorials, examples, and more.

    27 4

  4. makepad/makepadmakepad/makepadPublic

    Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl

    Rust 6.6k 352

  5. LibToolingExampleLibToolingExamplePublic

    An example of how to use Clang's LibTooling interface.

    C++ 76 21

  6. theseus-os/irq_safetytheseus-os/irq_safetyPublic

    Interrupt-safe locking structures, like Mutex and RwLock, for Rust no_std environments.

    Rust 9 9