GitHub repository: murcia-cs4215/ocontract
Primary language: TypeScript
Description: A spin-off of OCaml that supports higher-order contract-based assertions.