Package Usage: cargo: beef
More compact Cow
17 versions
Latest release: almost 3 years ago
46 dependent packages
15,085,905 downloads total
View more package details: https://packages.ecosystem.code.gouv.fr/registries/crates.io/packages/beef
Dependent Repos 3
Projets-INFO4/22-23/26/rustre
Lustre compiler/runtime implemented in RustLast synced: 7 months ago - Pushed: 11 months ago
Deducteam/kontroli-rs Fork of 01mf02/kontroli-rs
Alternative implementation of the logical framework Dedukti in RustSize: 770 KB - Last synced: 2 days ago - Pushed: over 2 years ago
