voidc Goto Github PK

3d2048

A 3D 2048 clone

a-mir-formality

a PLT redex model of MIR and its type system

async-pidfd

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

async-upnpy

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

bloxberg

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

borrowck

chalk

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

civ-game

A 2D clone of the popular strategy game Civilization using LibGDX

code-llvm-asm

VSCode Extension providing syntax highlighting and navigation for LLVM Assembly

crc-rs

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

creusot

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

flurry

A port of Java's ConcurrentHashMap to Rust

fraktalgenerator

Entstanden im Rahmen meiner Seminararbeit "Die Entwicklung der fraktalen Geometrie"

fupv_altklausuren

Beispielbearbeitungen von Aufgaben aus dem Fach Funktionale Programmierung und Verifikation

gdmp

Google Drive Music Player

ilr-player-android

ILR Player is a web radio app for android.

jmaze

Java maze generation application

libc

Raw bindings to platform APIs for Rust

mir-formality-gen

Converts Rust code into a-mir-formality syntax

moviedatabase

A school project

netty

Netty project - an event-driven asynchronous network application framework

newpipe

A lightweight Youtube frontend for Android.

nix

Rust friendly bindings to *nix APIs

pinf-projekt

Ein Projekt im Rahmen des P-Seminars Informatik 2016/17

pipay

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

pwdb-public

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

pwndbg

Exploit Development and Reverse Engineering with GDB Made Easy

ring

Safe, fast, small crypto using Rust

rust

Empowering everyone to build reliable and efficient software.

rust-openssl

OpenSSL bindings for Rust