Oliver Jacobsen's repositories
movfuscator-isabelle
An attempt at proving the MOVfuscator in Isabelle
bench-my-slab
A SLAB Allocator benchmark
Language:CGPL-3.0000
dunst
Lightweight and customizable notification daemon
Language:CNOASSERTION000
hbs-lms-rust
Pure Rust implementation of the Leighton Micali Signature scheme.
Language:RustApache-2.0000
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
NOASSERTION000
plusroutines
A C++ library to allow the simple usage of coroutines.
MIT000
rust-protobuf
Rust implementation of Google protocol buffers
Language:RustMIT000
Language:Rust000
splatflip
A little project to get back into rust using ncurses
GPL-3.0000
xkcdlock-py
A reimagination of the xkcdlock in Python