SES builds on capability theory to let you run "adversarial" code together with your trusted code safely.

Deno is a runtime that aims to isolate the code from the system amongst other issues.

SES uses a proof over the JS grammar with induction, Deno does isolation by not giving any OS level access to your code.

Neither are particularly complete and are mostly orthogonal. Both are looking for people to help with them :]

Thanks, that's a great summary!

It is being actively developed. Has a large pool of active contributors.

Both the SES people and the Deno people are active. I'd guess there are ~2-10 active people in both projects.

2 vs 10 is a big dif. 10 is about the size of core teams on major projects.