GitHub repository: GaloisInc/saw-script
Primary language: Haskell
Description: The SAW scripting language.