LinearLang LinearLang is a programming language based on linear type system that ensure memory safety.