GitHub repository: tnelson/Forge
Primary language: Racket
Description: Forge: A Tool and Language for Teaching Formal Methods