Stars
Verification infrastructure for the Isabelle/HOL interactive proof assistant
Application Binary Interface for the Arm® Architecture
Easily build a Haskell project from a stack.yaml.lock file with Nix
Neptune OS: A Windows NT personality for the seL4 microkernel
An async no_std HTTP server suitable for bare-metal environments, heavily inspired by axum
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …
Save 30-50%+ of CI time without any effort or cost. Use Magic Nix Cache, a totally free and zero-configuration binary cache for Nix on GitHub Actions.
Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various…
A minimal Linux that runs as a coreboot or LinuxBoot ROM payload to provide a secure, flexible boot environment for laptops, workstations and servers.
Microkit - A simple operating system framework for the seL4 microkernel
Simple tools to make reverse engineering and console cowboying easier, primarily by data translation and manipulation + file handle piping. Mostly *nix tools with an emphasis on macOS.
Armour provides a custom policy language and a distributed enforcement infrastructure to secure applications developed using micro-services
Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).
LiveUSB Bootable exploit chain to unlock all features of xx30 ThinkPad machines. WiFi Whitelist, Advanced Menu, Overclocking.
Crucible is a library for symbolic simulation of imperative programs
QEMU enhanced with OS handlers, external plugins, and rapid analysis execution engine.
Website and PoC collection for transient execution attacks