There is also Austral, which has linear types as a main capability: https://austral-lang.org/