GitHub repository: DepTyCheck/dynam-model
Primary language: Idris
Description:  A model of a dynamically typed language like lua or javascript