GitHub repository: plasma-umass/Rehearsal
Primary language: Scala
Description: Rehearsal: A Configuration Verification Tool for Puppet