ngkz

lean4

Lean 4 programming language and theorem prover

pico_button

Handling input example for SEGA PICO

Addon

ClearURLs is an add-on based on the new WebExtensions technology and will automatically remove tracking elements from URLs to help protect your privacy.

sway-systemd

Systemd integration for Sway session

keepassxc-browser

KeePassXC Browser Extension

auto-tab-discard

Use native tab discarding method to automatically reduce memory usage of inactive tabs

datasheets

Copies of datasheets used in developing oreboot

BLE-TPMS

ESP32 BLE Tire Pressure Management System

Log4jAttackSurface

doslinux

Run Linux programs on DOS

flare-vm

A collection of software installations scripts for Windows systems that allows you to easily setup and maintain a reverse engineering environment on a VM.

FreeCAD_assembly3

Experimental attempt for the next generation assembly workbench for FreeCAD

nixpkgs-update

Updating nixpkgs packages since 2018

guider

A Practically Applicable Performance Analyzer for Real Product Development

plex

The package of IBM’s typeface, IBM Plex.

WebAppPentestGuidelines

Webアプリケーション脆弱性診断ガイドライン

dotfiles

And I say hey, what's going on?

gittup

gittup.org main repository

orangepi-build

Orange Pi build for H2+, H3, H5, H6, H616, RK3328, RK3399 and RK3588(s)

ungoogled-chromium

Google Chromium, sans integration with Google

uBlock

uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.

PSPEmu

PSP emulator

gnome-shell-system-monitor-applet

Display system informations in gnome shell status bar, such as memory usage, cpu usage, network rates…

dotfiles

anthywl

Japanese input method for Sway using libanthy

gikopoi2

amux

Alsa plugin that selects and live switches sound cards system-wide

swaylock-effects

Swaylock, with fancy effects

distri

a Linux distribution to research fast package management

rofi

Rofi: A window switcher, run dialog and dmenu replacement - fork with wayland support