Brahmastra-Labs/logicaffeine

LOGOS Programming Language + Supercompiler + Proof Kernel + Wire Transport Codec

3 best points · 0 comments · 1 Hacker News post · 44 GitHub stars · View on GitHub

Hacker News discussions

• RFC: Distributed Computation Mesh in Logos Language (3 points, 0 comments, by tristenharr, 2026-01-16)