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 …

Community developed and maintained version of the OS/Net consolidation

Video, audio & banner adblock/skip for Spotify

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

Open Source PlayStation 4 Payload SDK

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

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…

Easily portable doom

[MIRROR] Kernel and initrd generator

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

mkbootimg + unpackbootimg, forked and updated

LibreBSD src tree: FreeBSD with LibreSSL replacing OpenSSL in base

Proton API library used by Go-based clients and tools

Hy language support for VSCode

A lightweight compositor for X11 (previously a compton fork)

A portable fork of the OpenBSD `doas` command

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.

Steam launcher for FreeBSD

Work In Progress pledge(2) support for FreeBSD

Implementation of the kexec system call for PS4

Go bindings to the CPython-3 API

ps4-gentoo-sources 5.3.7 (Kernel for PS4Gentoo)

FreeBSD src tree

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

Linux kernel fork with PS4 support (work in progress)

Delphix fork of the Illumos operating system, including OpenZFS

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

Linux kernel fork with PS4 support (work in progress)

RTOS based on L4 microkernel.

Open source PS4 SDK