coliasgroup Goto Github PK

capdl

Capability Distribution Language tools for seL4

coliasgroup.github.io

GitHub Pages content for https://coliasgroup.com/

dafny

Dafny is a verification-aware programming language

graph-refine

hol

This is a fork of the HOL4 sources, used by the seL4 test infrastructure. See the original above, or visit the main website:

l4v

seL4 specification and proofs

microkit

seL4 Core Platform - A simple operating system for the seL4 microkernel

nixos-lite

nixpkgs

Nix Packages collection & NixOS

ocaml

The core OCaml system: compilers, runtime system, base libraries

parking_lot

Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.

qemu

ring

Safe, fast, small crypto using Rust

rust

Empowering everyone to build reliable and efficient software.

rust-embedded-fat

A SD/MMC library with FAT16/FAT32 support, suitable for Embedded Rust systems

rust-mbedtls

Idiomatic Rust wrapper for MbedTLS

rust-sel4

Rust support for seL4 userspace

rust-sel4-docker-images

Docker image for working with https://github.com/seL4/rust-sel4

rustfmt

Format Rust code

rustls

A modern TLS library in Rust

sel4

The seL4 microkernel

sel4-libstd-poc

Proof-of-concept for Rust libstd on seL4

sel4-mirageos-poc

Proof-of-concept for MirageOS on seL4

sel4-rust-tutorial

sel4-verification-reproducibility

Nix expressions towards improving reproducability for seL4's verification results

verus

Verified Rust for low-level systems code

volatile