GitHub repository: GaloisInc/ivorylang-org
Primary language: Haskell
Description: Sources for the http://ivorylang.org website.