voidc - Overview

Skip to content

Navigation Menu

Sign in

Appearance settings

View voidc's full-sized avatar

Dominik Stolz voidc

Organizations

@tum-taskforce

Block or report voidc

Hi there, I'm Dominik 👋

I like systems programming, compilers, and automated reasoning.

Pinned Loading

  1. A Rust library for onion routing.

    Rust 21

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

    Rust 1.5k 70

  3. Empowering everyone to build reliable and efficient software.

    Rust 111k 14.6k

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

    Rust 1

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

    Rust 2

  6. A customizable proxy for overlaying interactive icons on VNC connections.

    Rust