corsa (hex): Corsa is a library to write runnable code contracts in Elixir.
Keywords: elixir|lightweight formal methods|program properties|programming contracts