litexlang / golitex

git clone https://github.com/litexlang/golitex.git

Litex: write math, get formalized code. Because the math already is.

stars, 24h · #18,018

+~2

stars, 7 days · #27,117

+~10

stars, 30 days · #30,682

675

★ total · +0% this week

forks · 3 open issues

2026-10-20 · 674 ★ 2026-10-23 · 675 ★

LanguageRust

LicenseApache-2.0

Created2024-11-14 (1y ago)

Last push1d ago

OwnerOrganization