Hacker GitHub

← All repos

litexlang/golitex

View on GitHub ↗ ★ 686 Rust

Python of formal math

6 mentions on Hacker News by 1 person: 2 stories, 4 comments · first 2025-06-12 · latest 2026-10-17

Mentions per year 6 mentions · busiest year 2025 (5)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 111
    Litex: The First Formal Language Learnable in 1-2 Hours
    story by litexlang · 2025-09-25 · 82 comments
  2. ▲ 1
    Litex: A simple formal language which 10-year-olds learns quickly
    story by litexlang · 2025-06-12 · 1 comment