• Collectives
• Projects
• Funders
• Audit
• Advisories

litexlang

Litex: an intuitive and scalable formal language for coding your reasoning
Collective - Host: opensource - https://opencollective.com/litexlang - Website: https://litexlang.org/ - Code: https://github.com/litexlang/golitex

• Overview
• Projects 1
• Issues and Pull Requests 0
• Releases 0
• Commits 0
• Packages 1
• Advisories 0
• Transactions

github.com/litexlang/golitex

LItex: The First Formal Language Learnable in 1-2 Hours

Stars: 294 - Last synced: 22 May 2026