GitHub repository: GaloisInc/AMIDOL
Primary language: HTML
Description: Scientific model creation toolset.