Dominik Stolz

OpenSSL bindings for Rust

Rust crate to use process file descriptors (pidfd) for Linux

A customizable proxy for overlaying interactive icons on VNC connections.

No description provided.

No description provided.

Java library for fetching and parsing rekordbox exports and track analysis files.

No description provided.

No description provided.

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

deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

No description provided.

Tools to interact with why3 sessions

Converts Rust code into a-mir-formality syntax

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

a PLT redex model of MIR and its type system

Rust implementation of CRC(16, 32, 64) with support of various standards

No description provided.

Empowering everyone to build reliable and efficient software.

VSCode Extension providing syntax highlighting and navigation for LLVM Assembly

LLVM syntax highlight extension for VS Code

Raw bindings to platform APIs for Rust

Rust friendly bindings to *nix APIs

Safe, fast, small crypto using Rust

A collection of all the data i could extract from 1 billion leaked credentials from internet.

A PROLOG-ish interpreter written in Rust, intended eventually for use in the compiler

A port of Java's ConcurrentHashMap to Rust

UPnP server (device) and client (control point) written in async python.

Eine Android App zum bargeldlosen Bezahlen während den Projekttagen Schulstadt statt Schule

Beispielbearbeitungen von Aufgaben aus dem Fach Funktionale Programmierung und Verifikation

A lightweight Youtube frontend for Android.