Axum has a bit more typesafety stuff than Actix and it's maintained by the Tokio team. Coming from Servant I'm the Haskell ecosystem I'd use Rocket if it wasn't BDFL'd like Elm but seems like it's loosing maintenance so not a great choice for our team at the moment. But Axum seems to have a bit of steam behind it so 🤷