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

corsa 0.1.2
Corsa is a library to write runnable code contracts in Elixir.
3 versions - Latest release: 11 months ago - 1 dependent repositories - 436 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: 11 months ago - 1 dependent repositories - 863 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