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