Open-source, actor-model, capabilities-secure, high performance programming language
Pony code
Pony: How I learned to stop worrying and embrace an unproven technology (2018)
Deny Capabilities for Safe, Fast Actors
Sylvan Clebsch - Pony: 714 Days Later (2017)
Slides for Pony lectures
Pony, Actors, Causality, Types, and Garbage Collection (2020) (HN)
HN: Pony – High Performance Safe Actor Programming (2021)
http_server - Pony package to build server applications for the HTTP protocol.