GitHub - tools4imps/covenant: The Contract layer for Impatient Programming in Elixir

Covenant is the contract layer for Impatient Programming, in this month's Engineering Leadership list, packaged as an Elixir Mix library. A project declares its obligations in contracts, and Covenant fails the build when one has no passing test, reports contract coverage, mutates the code to check that the tests would notice, and can regenerate components from their contracts. The repository's own intent contract shows what one looks like.