Weighs the soul of incoming HTTP requests using proof-of-work to stop AI crawlers

SFP-module programmer for CH341a devices

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦

Tool for partial deblobbing of Intel ME/TXE firmware images

Service to trigger updates of the NUR repository [maintainer=@Mic92]

An operating system generator, based on NixOS, that, given a config, outputs a small (47 MB), read-only squashfs for a runit-based operating system, with support for iPXE and signed boot.

A compute shader wrapper for Godot

A collective of different IRs for the Flipper

Curated list of awesome Android apps making use of Shizuku

Small CLI app to learn with flashcards and spaced repetition. Follows the UNIX philosophy by utilizing portable, flat markdown files.

Fully open reproduction of DeepSeek-R1

TrashCard - indicates what type of trash will be picked up next based on your calendar entries 🗑️

Multi-axis antenna rotor using Winegard "Trav'ler" satellite dish

Scriptable USB HID device for STM32F103 blue pill (inspired by USB Rubber Ducky) ⛺

Github Pages for the STM32-base project.

A script that automatically activates ASPM for all supported devices on Linux

The Public Suffix List

FireMonkey is a totally new combined user-script and user-style manager

Browser Extension for automatically searching Rossmann's Consumer Action Taskforce (CAT) articles for the current page being visited.

[MIRROR] Official Gentoo ebuild repository

💡 Type hints for Numpy and Pandas

ananicy-cpp-rules for CachyOS

3D Printable rackmount pc/server case.

Gpredict satellite tracking application