GitHub repository: GaloisInc/tower
Primary language: Haskell
Description: A concurrency framework for the Ivory language