LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.

FreeBSD src tree

Video, audio & banner adblock/skip for Spotify

Proton API library used by Go-based clients and tools

Go implementation of the Signal protocol for WhatsApp (https://github.com/tulir/whatsmeow)

LibreBSD src tree: FreeBSD with LibreSSL replacing OpenSSL in base

mkbootimg + unpackbootimg, forked and updated

Linux system call fuzzer

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniq…

LLVM bindings for the Go programming language

Experimental fork of a Go interface for SQLite3

Steam launcher for FreeBSD

The X Go Binding is a low-level API to communicate with the X server. It is modeled on XCB and supports many X extensions.

A fork of Ethereum miner with OpenCL-based FPGA mining support (currently Intel FPGAs).

Work In Progress pledge(2) support for FreeBSD

HardenedBSD implements strong exploit mitigations and security hardening technologies on top of FreeBSD, with a direct focus on the nexus between human rights and information security. HardenedBSD …

Linux kernel fork with PS4 support (work in progress)

Community developed and maintained version of the OS/Net consolidation

Delphix fork of the Illumos operating system, including OpenZFS

Hy language support for VSCode

A portable fork of the OpenBSD `doas` command

RTOS based on L4 microkernel.

Go bindings to the CPython-3 API

A lightweight compositor for X11 (previously a compton fork)

Easily portable doom

[MIRROR] Kernel and initrd generator

Library, GUI, CLI for creating, inspecting, and modifying PS4 PKG, SFO, PFS, and related filetypes

Open Source PlayStation 4 Payload SDK

Implementation of the kexec system call for PS4

PS4 Linux Loader: A simple payload that let you run Linux on your 4.05 / 4.55 / 5.01 / 5.05 PS4