GitHub repository: philnguyen/soft-contract
Primary language: Racket
Description: A prototype of soft contract verification for an untyped functional language