Skip to content
View voidc's full-sized avatar
🥨
🥨
27 followers · 34 following

Achievements

Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Organizations

@tum-taskforce

Block or report voidc

Report abuse

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

Report abuse
voidc/README.md

Hi there, I'm Dominik 👋

I like systems programming, compilers, and automated reasoning.

Pinned Loading

  1. tum-taskforce/allium tum-taskforce/allium Public

    A Rust library for onion routing.

    Rust 21

  2. creusot-rs/creusot creusot-rs/creusot Public

    Creusot helps you prove your code is correct in an automated fashion.

    Rust 1.4k 61

  3. rust-lang/rust rust-lang/rust Public

    Empowering everyone to build reliable and efficient software.

    Rust 108k 14k

  4. bloxberg bloxberg Public

    Bloxberg is an experimental TUI-based hex editor written in Rust.

    Rust 1

  5. seccomp-notif seccomp-notif Public

    A PoC for using the new seccomp-notif Linux feature from Rust.

    Rust 2

  6. vnc-overlay vnc-overlay Public

    A customizable proxy for overlaying interactive icons on VNC connections.

    Rust