Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: cargo: model
model-based testing for data structures, with linearizability checking
6 versions
Latest release: over 5 years ago
7 dependent packages
288,891 downloads total
View more package details: https://packages.ecosyste.ms/registries/crates.io/packages/model
View more repository details: https://repos.ecosyste.ms/hosts/GitHub/repositories/spacejam%2Fmodel
Dependent Repos 13
bottlerocket-os/bottlerocket-test-system
A system for testing Bottlerocket- 0.1.0 agent/agent-common/Cargo.toml
- 0.1.0 agent/resource-agent/Cargo.toml
- 0.1.0 agent/test-agent/Cargo.toml
- 0.1.0 bottlerocket/agents/Cargo.toml
- 0.1.0 bottlerocket/types/Cargo.toml
- 0.1.0 controller/Cargo.toml
- 0.1.0 selftest/Cargo.toml
- 0.0.5 agent/builder-derive/Cargo.toml
- 0.0.5 agent/test-agent-cli/Cargo.toml
Size: 2.18 MB - Last synced: about 7 hours ago - Pushed: about 9 hours ago
facebookincubator/below
A time traveling resource monitor for modern Linux systems- 0.5.0 below/Cargo.toml
- 0.5.0 below/dump/Cargo.toml
- 0.5.0 below/render/Cargo.toml
- 0.5.0 below/store/Cargo.toml
- 0.5.0 below/view/Cargo.toml
Size: 4.37 MB - Last synced: about 22 hours ago - Pushed: 1 day ago
ipfs-rust/libipld-collections 📦
- 0.1.2 Cargo.lock
- 0.1.2 Cargo.toml
Size: 287 KB - Last synced: about 1 month ago - Pushed: about 3 years ago
dahliaOS/zircon-rpi
Zircon for the Raspberry Pi4- ~0.1 third_party/rust_crates/vendor/arc-swap/Cargo.toml
Size: 624 MB - Last synced: 16 days ago - Pushed: over 3 years ago
ipld/libipld
Rust IPLD library- 0.1.2 Cargo.toml
Size: 750 KB - Last synced: about 1 month ago - Pushed: 2 months ago
rklaehn/libipld Fork of ipld/libipld
Rust IPLD library- 0.1.2 Cargo.toml
Size: 666 KB - Last synced: about 2 months ago - Pushed: over 1 year ago
lurk-lab/libipld Fork of ipld/libipld
Rust IPLD library- 0.1.2 Cargo.toml
Size: 803 KB - Last synced: 3 months ago - Pushed: over 1 year ago
fuchsia-cn/fuchsia/fuchsia
- ~0.1 third_party/rust_crates/vendor/arc-swap/Cargo.toml
Last synced: over 1 year ago
fabricedesre/libipld Fork of ipld/libipld
Rust IPLD library- 0.1.2 Cargo.toml
Size: 646 KB - Last synced: about 1 year ago - Pushed: over 1 year ago
oshunter/fuchsia
- ~0.1 third_party/rust_crates/vendor/arc-swap/Cargo.toml
Size: 315 MB - Last synced: over 1 year ago - Pushed: over 1 year ago
gobftald/fuchsia-rpi
run Fuchsia on Raspberry Pi- ~0.1 third_party/rust_crates/vendor/arc-swap/Cargo.toml
Size: 547 MB - Last synced: over 1 year ago - Pushed: over 1 year ago
vyaghras/bottlerocket-test-system Fork of bottlerocket-os/bottlerocket-test-system
A system for testing Bottlerocket- 0.1.0 agent/agent-common/Cargo.toml
- 0.1.0 agent/resource-agent/Cargo.toml
- 0.1.0 agent/test-agent/Cargo.toml
- 0.1.0 bottlerocket/testsys/Cargo.toml
Size: 1.31 MB - Last synced: about 1 year ago - Pushed: about 1 year ago
stmcginnis/bottlerocket-test-system Fork of bottlerocket-os/bottlerocket-test-system
A system for testing Bottlerocket- 0.0.3 agent/agent-common/Cargo.toml
- 0.0.3 agent/builder-derive/Cargo.toml
- 0.0.3 agent/resource-agent/Cargo.toml
- 0.0.3 agent/test-agent/Cargo.toml
- 0.0.3 agent/test-agent-cli/Cargo.toml
- 0.0.3 bottlerocket/testsys/Cargo.toml
Size: 1.98 MB - Last synced: about 2 months ago - Pushed: 8 months ago
ecpullen/bottlerocket-test-system Fork of bottlerocket-os/bottlerocket-test-system
A system for testing Bottlerocket- 0.0.2 agent/agent-common/Cargo.toml
- 0.0.2 agent/resource-agent/Cargo.toml
- 0.0.2 agent/test-agent/Cargo.toml
- 0.0.2 agent/test-agent-cli/Cargo.toml
- 0.0.2 bottlerocket/testsys/Cargo.toml
Size: 2.12 MB - Last synced: 4 months ago - Pushed: 4 months ago
ipfs-rust/ipld-daemon 📦
- 0.1.2 Cargo.lock
- 0.1 client/Cargo.toml
Size: 69.3 KB - Last synced: about 1 month ago - Pushed: over 4 years ago
mmynk/below Fork of facebookincubator/below
A time traveling resource monitor for modern Linux systems- 0.7.0 below/Cargo.toml
- 0.7.0 below/store/Cargo.toml
- 0.7.0 below/view/Cargo.toml
Size: 4.32 MB - Last synced: 16 days ago - Pushed: 16 days ago
isgasho/arc-swap Fork of vorner/arc-swap
Support atomic operations on Arc itself- ~0.1 Cargo.toml
Size: 404 KB - Last synced: 9 months ago - Pushed: almost 5 years ago
aDotInTheVoid/libipld Fork of ipld/libipld
Rust IPLD library- 0.1.2 Cargo.toml
Size: 646 KB - Last synced: 9 months ago - Pushed: 9 months ago
warmchang/below Fork of facebookincubator/below
A time traveling resource monitor for modern Linux systems- 0.7.1 below/Cargo.toml
- 0.7.1 below/store/Cargo.toml
- 0.7.1 below/view/Cargo.toml
Size: 4.35 MB - Last synced: 1 day ago - Pushed: 2 days ago
matiu2/oanda_converter
A meta tool that reads in the oanda API docs and creates a Rust API client- 0.1.0 writer/Cargo.toml
- 0.1.0 writer_codegen/Cargo.toml
Size: 1.2 MB - Last synced: 3 months ago - Pushed: 3 months ago
2lambda123/below
- 0.6.3 below/Cargo.toml
- 0.6.3 below/store/Cargo.toml
- 0.6.3 below/view/Cargo.toml
Size: 3.23 MB - Last synced: 18 days ago - Pushed: 5 months ago