Patch glibc on legacy Linux systems to enable compatibility with the latest VSCode Remote

FUSE driver to read/write Windows' BitLocker-ed volumes under Linux / Mac OSX

Socks5/Socks5h server and client. Full TCP/Bind/UDP and IPv4/IPv6 support

Tailscale build for android cli (termux/shell) with enabled ssh access.

「消せないファイル」を消すプログラムです。

Using async path-tracing to hide Tiles/Entities that are not visible

An intermediary api aimed at easing development of multiplatform mods.

Allows the rebinding of the quick swap feature

Supports relative input in VNC (RDP) sessions from Windows to Windows / Linux using SSH sessions.

SOCKS Protocol Version 5 Library in Go. Full TCP/UDP and IPv4/IPv6 support

A static analysis tool for Lean 4.

Library mod for masa's client-side Minecraft mods

A modern client-side schematic mod for Minecraft

Buttons & Co

Trade with Villagers faster - a port of Easier Villager Trading to Architectury.

Truly independent web browser

User-space Wireguard gateway allowing sharing network connection from environment where usual routing rules are inaccessible.

Path MTU Discovery Test site

Another mod that shows your item durabilities as I couldn't find one that had everything I wanted.

Mathematical terms, definitions, and propositions in as many languages as possible

Lean documentation authoring tool

A Minecraft mod that displays the statistics (health, speed, jumpheight) of horses in their inventory.

Version 1.2. This is the source code to STUNTMAN - an open source STUN server and client code by john selbie. Compliant with the latest RFCs including 5389, 5769, and 5780. Also includes backwards …

TUN device creation and handling.

Tunnel (TUN) interface for SOCKS and HTTP proxies

GO Simple Tunnel - a simple tunnel written in golang

コード例で学ぶ Lean 言語