Package Usage: cargo: beef
More compact Cow
17 versions
Latest release: plus de 3 ans 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: environ un an ago - Pushed: plus d'un an ago
ecomobicoin/truite
EcoMobiCoin client in RustLast synced: environ un an ago - Pushed: plus d'un an ago
Deducteam/kontroli-rs Fork of 01mf02/kontroli-rs
Alternative implementation of the logical framework Dedukti in RustSize: 770 ko - Last synced: 4 jours ago - Pushed: presque 3 ans ago
