codespecs/daikon

Dynamic detection of likely invariants

⭐ 245 | 🍴 60

etiennelenhart/Eiffel

Redux-inspired Android architecture library leveraging Architecture Components and Kotlin Coroutines

⭐ 210 | 🍴 14

eiffel-community/eiffel

The Eiffel framework vocabulary, descriptions, guides and schemas along with links to relevant implementation repositories.

⭐ 131 | 🍴 61

sellout/quid-pro-quo

A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.

⭐ 98 | 🍴 10