GitHub repository: mirage/mirage-tc
Primary language: OCaml
Description: Type-classes for mirage applications