Nick Spinale's repositories
whonix-now
Whonix on KVM in Linux containers
dafny
Dafny is a verification-aware programming language
kani
Kani Rust Verifier
minimal-nix-docker-image
Minimal Docker image for Nix
nspin.github.io
Source for https://nickspinale.com
opensbi
RISC-V Open Source Supervisor Binary Interface
parking_lot
Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.
rust
Empowering everyone to build reliable and efficient software.
rust-bindgen
Automatically generates Rust FFI bindings to C (and some C++) libraries.
rust-mbedtls
Idiomatic Rust wrapper for MbedTLS
rust-microkit-demo
Demonstrates the use of the rust-seL4 crates with the seL4 Core Platform
rust-microkit-http-server-demo
Demonstrates the use of the seL4 crates with the seL4 Microkit
rust-root-task-demo
Demonstrates the use of the seL4 crates to construct a simple system
seL4-docs
This is the source of the seL4 docs.
seL4.systems-website
The seL4.systems website
verified-memory-allocator
A memory allocator verified with Verus
verified-storage
Storage systems with verified correctness properties
verus
Verified Rust for low-level systems code