jpouellet

fzf

:cherry_blossom: A command-line fuzzy finder

structured-text-tools

A list of command-line tools for manipulating structured text data

snabb

Snabb: Simple and fast packet networking

litex

Build your hardware, easily!

pcm

Intel® Performance Counter Monitor (Intel® PCM)

sandboxed-api

Generate sandboxes for C/C++ libraries automatically

migen

A Python toolbox for building complex digital hardware

louketo-proxy

A OpenID / Proxy service

isa-l

Intelligent Storage Acceleration Library

firesim

FireSim: Fast and Effortless FPGA-accelerated Hardware Simulation with On-Prem and Cloud Flexibility

kicad-3rd-party-tools

Software tools/utilities made by others to augment the KiCad PCB EDA suite.

gopter

GOlang Property TestER

isa-l_crypto

wyng-backup

Fast backups for logical volumes & disk images

ratas

A hierarchical timer wheel, for implementing timed event queues

tlspretense

A test framework for testing SSL/TLS client certificate validation.

sgx-pwenclave

Using SGX to harden password hashing

qubes-mirage-ssh-agent

Ssh-agent unikernel for QubesOS

eye-of-mirage

WiP image viewer using MirageOS

mirage-framebuffer

Experimental portable bitmap framebuffer graphics for MirageOS

safe-iop

Safe integer operation library for C

openbsd-rofs

Create a full read-only OpenBSD system

qubes-test-mirage

Scripts I use to test Mirage unikernels on QubesOS

mirage-ocra-demo

A demo of RFC 6287 / OCRA using MirageOS on QubesOS

qubes-app-split-git

git over qrexec

marx-planning

Collection of planning, brainstorming, research, resources for porting KVM to Redox

qubes-setup-vm

Automated application VM setup for common Qubes tasks

QubesDashboard

A Graphical Dashboard for the common management of Qubes 4.0

marx

Compatibility layer for a port of KVM to Redox

mirage-qubes

Mirage support for writing QubesOS AppVM unikernels