Video, audio & banner adblock/skip for Spotify

Easily portable doom

A lightweight compositor for X11 (previously a compton fork)

Linux kernel fork with PS4 support (work in progress)

A portable fork of the OpenBSD `doas` command

mkbootimg + unpackbootimg, forked and updated

FreeBSD src tree

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 …

Go bindings to the CPython-3 API

Community developed and maintained version of the OS/Net consolidation

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.

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…

Open Source PlayStation 4 Payload SDK

LLVM bindings for the Go programming language

Open source PS4 SDK

Delphix fork of the Illumos operating system, including OpenZFS

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

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

Linux kernel fork with PS4 support (work in progress)

[MIRROR] Kernel and initrd generator

Experimental fork of a Go interface for SQLite3

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

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

RTOS based on L4 microkernel.

Implementation of the kexec system call for PS4

Proton API library used by Go-based clients and tools

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

Hy language support for VSCode

ps4-gentoo-sources 5.3.7 (Kernel for PS4Gentoo)

Work In Progress pledge(2) support for FreeBSD