Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "formal_methods" keyword

View the packages on the crates.io package registry that are tagged with the "formal_methods" keyword.

temex 0.10.0
Regex-like temporal expressions for evaluating systems that change over time
1 version - Latest release: about 2 years ago - 1.26 thousand downloads total - 0 stars on gitlab.com - 1 maintainer
Related Keywords
logic 1 polars 1 temporal_logic 1 offline_monitor 1