The single instruction C compiler

The x86 processor fuzzer

Empire is a post-exploitation and adversary emulation framework that is used to aid Red Teams and Penetration Testers.

Codebase for firmware that runs on Pebble smartwatches.

Mount Android phones on Linux with adb. No root required.

Python development config

Next generation of PvPGN server

(archived) Mailspring Libre build – aiming at removing Mailspring's dependecy on a central server

All-in-Storage Solution based on DiskANN for DRAM-free Approximate Nearest Neighbor Search

Lock encrypted LUKS volumes on suspend in Arch Linux

Cryptsetup with Deniable LUKS header crypto extension 🇺🇦 SUPPORT UKRAINE! 🇺🇦

PowerAPI is a middleware toolkit for building software-defined power meters

Pyramid and OpenAPI3 based RealWorld implementation.

WIP Language Server for Nix! [maintainer=@jD91mZM2]

The Virtual Machine Monitor for the Cyberus Hypervisor. Ask us for commercial support!

Weechat API bindings for Rust

Automatically configure Wireguard interfaces in distributed system. It supports Consul as backend.

A Gatling stress test plugin for Git protocol - (mirror of https://review.gerrithub.io/admin/repos/GerritForge/gatling-git)

Patches for 51nb X2100 Embbeded Controller firmware

Lean 4 port of Iris, a higher-order concurrent separation logic framework

Formalizing stochastic doubly-efficient debate

ghc-android build using nix

Soufflé-Prov provides semiring-based provenance capabilities on top of the Soufflé language project.

Nix development utils that will blow up your mind

Bears for coala

This is a research project on beliefs regarding climate change and climate policies, in particular with respect to their distributive effects

Low-level X.509 verification

OpenCore bootloader

A Django app for managing scientific publications.

Make your code extra-safe by voluntarily dropping privileges