You should look at https://monte.readthedocs.io/en/latest/ https://monte.readthedocs.io/en/latest/, and potentially add a new category for capability-based prog

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