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 "programming contracts" keyword

View the packages on the hex.pm package registry that are tagged with the "programming contracts" 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
Related Keywords
elixir 1 lightweight formal methods 1 program properties 1