Pony is an open-source, object-oriented, actor-model, capabilities-secure,
high-performance programming language.

What makes Pony different?

Really type safe. There’s a mathematical proof and everything.

Pony is memory safe. There are no dangling pointers and no buffer
overruns. The language doesn’t even have the concept of null!

There are no runtime exceptions. All exceptions have defined
semantics, and they are always caught.

Pony doesn’t have locks nor atomic operations or anything like
that. Instead, the type system ensures at compile time that your
concurrent program can never have data races. So you can write
highly concurrent code and never get it wrong.

Deadlock-Free. This one is easy because Pony has no locks at all!
So they definitely don’t deadlock, because they don’t exist!  Native
Code. Pony is an ahead-of-time (AOT) compiled language. There is
no interpreter nor virtual machine.

Pony programs can natively call C libraries. Our compiler is able
to generate a C-header file for Pony libraries. Consequently, C/C++
programs can natively call Pony programs!