nspin

whonix-now

Whonix on KVM in Linux containers

rust-sel4

Rust support for seL4 userspace

seL4

The seL4 microkernel

capdl

dafny

Dafny is a verification-aware programming language

dotfiles

My personal configurations for various tools and environments

HOL

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

inventory

Typed distributed plugin registration

kali-now

Kali Linux on KVM in Linux containers

kani

Kani Rust Verifier

kani-hacking

microkit

Microkit - A simple operating system framework for the seL4 microkernel

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.

regex

An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.

ring

Safe, fast, small crypto using Rust

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

volatile