Hacker GitHub

← All repos

Brahmastra-Labs/logicaffeine

View on GitHub ↗ ★ 45 Rust

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

5 mentions on Hacker News by 1 person: 1 story, 4 comments · first 2026-01-05 · latest 2026-07-08

Mentions per year 5 mentions · busiest year 2026 (5)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 3
    RFC: Distributed Computation Mesh in Logos Language
    story by tristenharr · 2026-01-16 · 0 comments