voile (cargo): Voile, a dependently-typed row-polymorphic programming language
Keywords: dependent-types|extensible|programming-language|type-theory