Stars
CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel IA-32 and ARM9 architectures.
A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Linux guests, device offload with vhost-user and a minimal com…
A lightweight tool for deploying and managing containerised applications across a network of Docker hosts. Bridging the gap between Docker and Kubernetes ✨
A detailed tutorial on setting up a remote ZFS mirror for home use.
An experiment in scalable routing as an encrypted IPv6 overlay network
An open-source OS project that aims to provide source and binary compatibility with macOS® and a similar user experience.
A fast usermode x86 and x86-64 emulator for Arm64 Linux
Enhanced and security-focused fork of Signal.
The first open-source DDoS protection system
Easily run old versions of UNIX for PDP-11 on modern hardware
Octoscan is a static vulnerability scanner for GitHub action workflows.
An open-source framework for verifiably private AI inference
Helping allocate resources to secure the critical open source projects we all depend on.
A rendition of everyone's favorite 1995 Microsoft operating system for Linux.
VirtFuzz is a Linux Kernel Fuzzer that uses VirtIO to provide inputs into the kernels subsystem. It is built with LibAFL.
Read-only mirror of https://git.sr.ht/~rjarry/aerc. This repository does not accept pull requests. Please send contributions to https://lists.sr.ht/~rjarry/aerc-devel.
Full-throttle, wire-speed hardware implementation of Wireguard VPN, using low-cost Artix7 FPGA with opensource toolchain. If you seek security and privacy, nothing is private in our codebase. Our d…
Welcome to the ultimate list of resources for formal verification techniques and tools. This repository aims to provide an organized collection of high-quality resources to help professionals, rese…
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.