Skip to content
View matthias-brun's full-sized avatar
9 followers · 0 following

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report matthias-brun

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. verus-find verus-find Public

    A tool to search for Verus functions and lemmas

    Rust 3

  2. progress-tracking-formalization progress-tracking-formalization Public

    Verified Progress Tracking for Timely Dataflow

    1

  3. verified-paging-for-x86-64-in-rust verified-paging-for-x86-64-in-rust Public

    The artifacts for my master's thesis "Verified Paging for x86-64 in Rust"

    Rust

  4. verus verus Public

    Forked from verus-lang/verus

    Verified Rust for low-level systems code

    Rust

  5. verified-node-replication verified-node-replication Public

    Forked from verus-lang/verified-node-replication

    Verified Node-Replication Crate

    Rust