About Sebyla

Sebyla is an attempt to implement strongly typed language with capability based security model.