Package Usage: cargo: logos-derive

Create ridiculously fast Lexers
48 versions
Latest release: environ 2 ans ago
7 dependent packages
7 843 204 downloads total

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

Dependent Repos 1

Projets-INFO4/22-23/26/rustre

Lustre compiler/runtime implemented in Rust

Last synced: plus d'un an ago - Pushed: presque 2 ans ago

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

Alternative implementation of the logical framework Dedukti in Rust

Size: 770 ko - Last synced: 3 jours ago - Pushed: environ 3 ans ago