mesh-processing

verified-3d-mesh-intersection

Lean

68

Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code

bitchat

Swift

95

bluetooth mesh chat, IRC vibes

nylon

Go

77

Self-healing WireGuard mesh. Reroutes around failures in seconds, no coordination server, fully FOSS.

portaljs

TypeScript

85

🌀 AI-native framework for building data portals. Scaffold a full portal from a brief and load datasets in minutes with agentic skills — any backend (CKAN, GitHub, Frictionless).