oliver-wm

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

chromium

Open-source project behind Google Chrome

cryptominisat

An advanced SAT Solver

docs

This is the source of the seL4 docs.

firecracker

Secure and fast microVMs for serverless computing.

fp-course

Functional Programming Course

kemufuzzer

Automatically exported from code.google.com/p/kemufuzzer

mio

Metal IO library for Rust

rustraft

playing around with the raft protocol in rust

seL4

The seL4 microkernel

seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.

seL4_tools

Basic tools for building seL4 projects

sel4bench

sel4 benchmarking applications and support library.

sel4test

Test suite for seL4.

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

util_libs

walle-whale.github.io

Website

zdoom

Unifying all Doom engine games and adding countless possibilities.