Package Usage: cargo: colosseum

A variety of arena allocators for Rust, including thread-safe arenas.
5 versions
Latest release: environ 8 ans ago
5 dependent packages
223 113 downloads total

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

Dependent Repos 1

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

Alternative implementation of the logical framework Dedukti in Rust

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