Skip to content
View o8vm's full-sized avatar
🎇
🎇
214 followers · 62 following

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Starstruckx3Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Starstruckx3Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report o8vm

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
o8vm/README.md
  • 🔭 I’m currently working on Affine Multiparty Session Types (MPST) in Rust
  • 🌱 I’m currently learning Hypervisor Implementation
  • 💬 Ask me about OS development and Low-Level Systems Programming
  • 📫 How to reach me: Drop me an email or DM me on X/LinkedIn.

Pinned Loading

  1. hibanaworks/hibana hibanaworks/hibana Public

    Choreography-Derived Runtime Enforcement for Rust

    Rust 29

  2. hibanaworks/hibana-pico hibanaworks/hibana-pico Public

    Rust 1 1

  3. octox octox Public

    Unix-like OS in Rust inspired by xv6-riscv

    Rust 1.6k 64

  4. krabs krabs Public

    An x86 bootloader written in Rust.

    Rust 533 20

  5. ods ods Public

    Open Data Structures (in Rust)

    Rust 355 19

  6. rust_dos rust_dos Public

    Rust DOS : Creating a DOS executable with Rust

    Rust 197 16