v0.1.2
Corsa is a library to write runnable code contracts in Elixir.
Makina is a DSL for writing PBT models for stateful systems.
Published about 3 years ago
mix.exs
rebar.config
Gleam
erlang.mk
this version
129
yesterday
0
last 7 days
all time
422
Last Updated
Jun 11, 2025
License
BSD-3-Clause
Build Tools
Publisher
