Projects with this topic
Sort by:
-
Makina is a testing library that provides a DSL for writing PBT models for stateful systems.
Updated -
Corsa is a library to write runnable code contracts in Elixir.
Updated
Makina is a testing library that provides a DSL for writing PBT models for stateful systems.
Corsa is a library to write runnable code contracts in Elixir.