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
20082026
-
…breaking to the optimizer pipeline. Sneak peeks available on a branch currently named stream1. https://github.com/Brahmastra-Labs/logicaffeine/tree/stream1
comment by tristenharr · 2026-07-08 · in The LLVM Compiler Infrastructure -
Enhancements Short Term Roadmap -> https://github.com/Brahmastra-Labs/logicaffeine/issues?q=is%...
comment by tristenharr · 2026-01-17 · in Show HN: The Logos Programming Language and Theorem Prover -
…make things private. If interested, read about some of the planned upcoming enhancements here. :) https://github.com/Brahmastra-Labs/logicaffeine/issues
comment by tristenharr · 2026-01-17 · in High-Level Is the Goal -
…you look here you can see the lexicon to get a better idea how the english compile pipeline works. https://github.com/Brahmastra-Labs/logicaffeine/blob/main/as... This also makes the language highly configurable as you can change any of…
comment by tristenharr · 2026-01-05 · in Logos Language Guide: Compile English to Rust