Pinned Repositories
aes-rs
playing around with aes impl
AOC
aws-lc
AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.
camkes
Component Architecture test suite and example apps.
camkes-arm-vm
camkes-tool
The main CAmkES tool
camkes-vm
Virtual Machine build as a CAmkES component.
camkes-vm-examples
capdl
Capability Distribution Language tools for seL4
chess
the queens gambit
oliver-wm's Repositories
oliver-wm/aes-rs
playing around with aes impl
oliver-wm/AOC
oliver-wm/aws-lc
AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.
oliver-wm/camkes
Component Architecture test suite and example apps.
oliver-wm/camkes-arm-vm
oliver-wm/camkes-tool
The main CAmkES tool
oliver-wm/camkes-vm
Virtual Machine build as a CAmkES component.
oliver-wm/camkes-vm-examples
oliver-wm/capdl
Capability Distribution Language tools for seL4
oliver-wm/chess
the queens gambit
oliver-wm/chromium
Open-source project behind Google Chrome
oliver-wm/cryptominisat
An advanced SAT Solver
oliver-wm/docs
This is the source of the seL4 docs.
oliver-wm/firecracker
Secure and fast microVMs for serverless computing.
oliver-wm/fp-course
Functional Programming Course
oliver-wm/kemufuzzer
Automatically exported from code.google.com/p/kemufuzzer
oliver-wm/mio
Metal IO library for Rust
oliver-wm/rustraft
playing around with the raft protocol in rust
oliver-wm/seL4
The seL4 microkernel
oliver-wm/seL4_libs
No-assurance libraries for rapid-prototyping of seL4 apps.
oliver-wm/seL4_tools
Basic tools for building seL4 projects
oliver-wm/sel4bench
sel4 benchmarking applications and support library.
oliver-wm/sel4test
Test suite for seL4.
oliver-wm/socat
socat - Multipurpose relay (cloned from git://repo.or.cz/socat.git) - I am not the project owner, please submit bugs to socat@dest-unreach.org
oliver-wm/util_libs
oliver-wm/walle-whale.github.io
Website
oliver-wm/zdoom
Unifying all Doom engine games and adding countless possibilities.