Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "formal-methods" keyword
Top 1.5% on crates.io
103 versions - Latest release: over 2 years ago - 286 dependent packages - 881 dependent repositories - 4.09 million downloads total - 7,752 stars on GitHub - 1 maintainer
sled 0.34.7 💰
Lightweight high-performance pure-rust transactional embedded database.103 versions - Latest release: over 2 years ago - 286 dependent packages - 881 dependent repositories - 4.09 million downloads total - 7,752 stars on GitHub - 1 maintainer
Top 5.3% on crates.io
57 versions - Latest release: over 4 years ago - 2 dependent packages - 42 dependent repositories - 85.8 thousand downloads total - 7,752 stars on GitHub - 1 maintainer
pagecache 0.19.4 💰
lock-free pagecache and log for high-performance databases57 versions - Latest release: over 4 years ago - 2 dependent packages - 42 dependent repositories - 85.8 thousand downloads total - 7,752 stars on GitHub - 1 maintainer
crack 0.1.0 💰
verify distributed and lock-free algorithms through symbolic execution1 version - Latest release: over 6 years ago - 1.04 thousand downloads total - 27 stars on GitHub - 1 maintainer
executioner 0.0.1 💰
Async scheduler that supports prioritization, efficient selection, and joining. A distributable M...1 version - Latest release: about 4 years ago - 527 downloads total - 7,752 stars on GitHub - 1 maintainer
index 0.15.4 💰
a flash-sympathetic persistent lock-free B+ tree1 version - Latest release: about 6 years ago - 991 downloads total - 7,752 stars on GitHub - 1 maintainer
Top 5.6% on crates.io
2 versions - Latest release: about 2 years ago - 3 dependent packages - 1 dependent repositories - 19.9 million downloads total - 7,752 stars on GitHub - 3 maintainers
vsdbsled 0.34.7-p1 💰
Lightweight high-performance pure-rust transactional embedded database.2 versions - Latest release: about 2 years ago - 3 dependent packages - 1 dependent repositories - 19.9 million downloads total - 7,752 stars on GitHub - 3 maintainers
sled-native 0.34.6 💰
a C-compatible API for sled2 versions - Latest release: over 3 years ago - 921 downloads total - 7,752 stars on GitHub - 1 maintainer
pearlite 0.1.0
Reserved for Creusot's pearlite language crate1 version - Latest release: over 2 years ago - 399 downloads total - 968 stars on GitHub - 1 maintainer
momba-explore 0.1.1
State space exploration engine for PTAs and MDPs augmented with variables.2 versions - Latest release: about 3 years ago - 1 dependent package - 1.26 thousand downloads total - 18 stars on GitHub - 1 maintainer
momba-sidekick 0.1.0
A command line tool directly exposing some model related functionality.1 version - Latest release: over 3 years ago - 425 downloads total - 18 stars on GitHub - 1 maintainer
clock-zones 0.4.1
A library for handling clock zones.11 versions - Latest release: almost 3 years ago - 3 dependent packages - 4.62 thousand downloads total - 18 stars on GitHub - 1 maintainer
momba-vm
A VM for Momba's compiled model representation.1 version - Latest release: 18 days ago - 463 downloads total - 18 stars on GitHub - 1 maintainer
Related Keywords
rust
7
orm
6
log-structured
6
lock-free
6
kv
6
incredibly-spicy
6
high-performance
6
fuzzing
6
embedded-kv
6
database
6
crash-testing
6
concurrent
6
b-tree
6
b-plus-tree
6
persistence
6
sled
6
tree
6
jani-models
4
model-checker
4
models
4
momba
4
python
4
quantitative-models
4
embedded
3
persistent
3
sqlite
2
redis
2
lmdb
2
mongo
2
rocksdb
2
async
1
c
1
deductive-reasoning
1
formal-verification
1
proof
1
rust-lang
1
verification
1
why3
1
services
1
gossip
1
symbolic-execution
1
distributed-systems
1
consensus
1
testing
1