Skip to content
View vrindisbacher's full-sized avatar

Block or report vrindisbacher

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. PLSysSec/tock PLSysSec/tock Public

    Forked from tock/tock

    A secure embedded operating system for microcontrollers

    Rust 5 3

  2. PLSysSec/tock-veri-asm PLSysSec/tock-veri-asm Public

    Reasoning about inline assembly in the Tock OS

    Rust 1 2

  3. vrindisbacher.github.io vrindisbacher.github.io Public

    Personal Site

    HTML

  4. flux-inferx flux-inferx Public

    Forked from flux-rs/flux

    Refinement Types for Rust

    Rust

  5. PLSysSec/jittybitty PLSysSec/jittybitty Public

    Forked from Hans-Halverson/brimstone

    A correct JS engine, based on Brimstone

    Rust