A lightweight and versatile audio player

Converts Lottie Animations (.json / .lottie) and Telegram stickers (*.tgs) to GIF / PNG / APNG / WEBP / WEBM

LLama.cpp golang bindings

Wasm C API prototype

Endstone - High-level Plugin API for Bedrock Dedicated Servers (BDS), in both Python and C++.

NOVA Microhypervisor

mira rewrite in cxx

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…

std replacement for C++

PS4 Game manager and Home menu alternative made using Open Source tools

NX Software Center. A GUI to install and manage AppImages.

Bin Loader PKG for the PlayStation 4

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…

merges pkg parts into one pkg file

A modification of the playstation UI to help with launching and developing homebrew.

Decrypt/Encrypt various PlayStation®4 firmware files

K4DirStat (KDE Directory Statistics) is a small utility program that sums up disk usage for directory trees, very much like the Unix 'du' command. It displays the disk space used up by a directory …

PS3 and PS4 HDD tools

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

A different way of calling the notify function on the ps4 for homebrew development.

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

Spooky, scary skeleton!

Let's get ready to rumble

RTOS based on L4 microkernel.

Propositional Sudoku Solver Based on Z3Prover

A dump of the sysctl entries on the ps4.