Jimmy Brush's repositories
NOASSERTION000
seL4_libs
No-assurance libraries for rapid-prototyping of seL4 apps.
NOASSERTION000
capnproto-rust
Cap'n Proto for Rust
MIT000
rust-openssl
OpenSSL bindings for Rust
000
seL4
The seL4 microkernel
Language:CNOASSERTION000
docs
This is the source of the seL4 docs.
000
sel4-tutorials
Tutorials for working with seL4 and/or CAmkES.
000
dnscrypt-proxy
dnscrypt-proxy 2 - A flexible DNS proxy, with support for encrypted DNS protocols.
NOASSERTION000
rust
A safe, concurrent, practical language.
Language:RustNOASSERTION000
intrusive-rs
Intrusive collections for Rust
Language:RustApache-2.0000