A dependently-typed programming language with compile-time malloc/free determination - View it on GitHub