Ecosyste.ms: OpenCollective

An open API service for software projects hosted on Open Collective.

github.com/spacejam/model

model testing sugar for testing interactions on structures over time
https://github.com/spacejam/model

cargo: model 0.1.2

model-based testing for data structures, with linearizability checking
6 versions - Latest release: almost 6 years ago - 7 dependent packages - 13 dependent repositories - 300 thousand downloads total