subtyping topic

Rust library for versioned data types

sigp

Leibniz equivalence and Liskov substitutability library for Scala.

hobwekiva

SubML (prototype) language

rlepigre

Tool for checking whether a JSON schema is a subschema of another JSON schema.

IBM