osspath
Archive
Repos
osspath
Paths
Repos
Crates
Ecosystems
Orgs
Jobs
Explore
Search
⌘K
Start your route
← Repositories
litexlang
golitex
Litex: The Language Where Mathematics Verifies Itself.
672
Stars
10
Forks
3
Issues
Apache-2.0
License
active
ai
Last GitHub commit: Sep 14, 2026
View on GitHub →
Ecosystem
ai
Why this classification
category 'command-line-utilities' -> cli (weight 3)
category 'science' -> science (weight 3)
Rule-based classification from parsed dependencies · confidence 50%
Build profile
2021
Edition
Single crate
Layout
1
Lockfile crates
Parsed from Cargo.toml and Cargo.lock · 2026-07-04
Contribution
3 open issues →
active project
← Browse all repos
Metadata checked 2026-07-02 · dependencies parsed 2026-07-04
Something inaccurate? Report a correction →