GitHub repository: veka41/neut
Primary language: Haskell
Description: A dependently-typed programming language with compile-time malloc/free determination