• 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 2
• Advisories 0
• Transactions

github.com/litexlang/golitex

Litex: The Language Where Mathematics Verifies Itself.

Stars: 659 - Last synced: 12 Aug 2026