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 言語

ProxiFyre: A Windows SOCKS5 proxifier leveraging NDISAPI to transparently route TCP and UDP traffic on a per-app basis.

transparent redirector of any TCP/UDP connection to proxy

socks5 server in pure Golang with much custom optional. Full TCP/UDP and IPv4/IPv6 support.