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