A high-performance rendering engine replacement for Minecraft, which greatly improves frame rates and reduces micro-stutter

An unofficial NixOS fork with a FreeBSD kernel

An extremely fast Python linter and code formatter, written in Rust.

elfshaker stores binary objects efficiently

EasyCrypt: Computer-Aided Cryptographic Proofs

Main source code repository of the Tamarin prover for security protocol verification.

CachyOS kernel for NixOS

Send patches to https://review.coreboot.org: https://www.flashrom.org/Development_Guidelines#GitHub

Turn a $30 USB switch into a full-featured multi-monitor KVM switch

👾 Fast and simple video download library and CLI tool written in Go

Wallpaper Manager for Linux

A serial device I/O tool

Connect external monitors to your system via Wifi-Display specification also known as Miracast

Tool to display AMDGPU usage

👊 Discord, your way. Revenge is a client modification for Discord mobile.

A mod for the Discord Android App

🤖 Application to use Revenge on Android

The Serenity Operating System 🐞

An audio server, programming language, and IDE for sound synthesis and algorithmic composition.

Plugin for Neural Amp Modeler

Cloud Native Runtime Security

Kiwix for Windows and GNU/Linux desktops

Atomic secret provisioning for NixOS based on sops

Modern C++ Terminal Emulator

Intel® Performance Counter Monitor (Intel® PCM)

Gossip is a nostr client

An IBM PC/XT emulator written in Rust.

D810-ng (Next Generation) is an updated, tested, refactored, and optimized IDA Pro plugin used to deobfuscate code at decompilation time by modifying IDA Pro microcode.

Crispy Doom is a limit-removing enhanced-resolution Doom source port based on Chocolate Doom.