Package Usage: cargo: logos

Create ridiculously fast Lexers
52 versions
Latest release: over 1 year ago
235 dependent packages
7,845,785 downloads total

View more package details: https://packages.ecosystem.code.gouv.fr/registries/crates.io/packages/logos

Dependent Repos 1

Projets-INFO4/22-23/26/rustre

Lustre compiler/runtime implemented in Rust

Last synced: 7 months ago - Pushed: 11 months ago

Deducteam/kontroli-rs Fork of 01mf02/kontroli-rs

Alternative implementation of the logical framework Dedukti in Rust

Size: 770 KB - Last synced: 2 days ago - Pushed: over 2 years ago