nspin

nix-linux

Framework for configuring and building Linux and U-Boot using Nixpkgs

rust-sel4

Rust support for seL4 userspace

seL4

The seL4 microkernel

capdl

cargo-index

Cargo subcommand to manage a registry index.

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

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

rumprun

The Rumprun unikernel and toolchain for various platforms

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.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

virtio-drivers

VirtIO guest drivers in Rust.

volatile