Data

Tools

Indexes

Applications

Experiments

Packages

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

hex.pm "program properties" keyword

View the packages on the hex.pm package registry that are tagged with the "program properties" keyword.

corsa 0.1.2
Corsa is a library to write runnable code contracts in Elixir.
3 versions - Latest release: 8 months ago - 1 dependent repositories - 317 downloads total - 0 stars on gitlab.com - 1 maintainer
makina 0.3.2
Makina is a DSL for writing PBT models for stateful systems.
6 versions - Latest release: 7 months ago - 1 dependent repositories - 712 downloads total - 5 stars on gitlab.com - 1 maintainer
Related Keywords
elixir 2 lightweight formal methods 2 programming contracts 1 model-based-testing 1 testing 1