GitHub repository: subsetpark/pantagruel
Primary language: Elixir
Description: A program specification language with a formal syntax and ad-hoc semantics.