You should look at https://monte.readthedocs.io/en/latest/, and potentially add a new category for capability-based programming languages (other ones would be E or Pony)