GitHub repository: EconForge/Dolang
Primary language: Julia
Description: Dolo modeling language