| s7contract::bioinformatics-interfaces | Bioinformatics Containers as Interfaces | HTML | source | R code | |
| s7contract::calendar-intervals | Laws for Calendar Intervals | HTML | source | R code | |
| s7contract::monad-dictionaries | A Maybe Dictionary on S7 | HTML | source | R code | |
| s7contract::property-laws | Generative Laws with tinytest | HTML | source | R code | |
| s7contract::protocol-laws | Reusable Laws for a Vector Protocol | HTML | source | R code | |
| s7contract::s7-interfaces-and-traits | Behavioral Contracts on S7 | HTML | source | R code | |
| s7contract::stateful-protocols | Testing Stateful S7 Protocols | HTML | source | R code |