From Rosetta Code
This programming language may be used to instruct a computer to perform a task.
Official website
Execution method: Compiled (machine code)
Garbage collected: Yes
Type safety: Safe
Type strength: Strong
Type checking: Static
See Also:

Listed below are all of the tasks on Rosetta Code which have been solved using Pony.

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

Pony provides type safety with a mathematical proof, memory safety, exception safety and data-race free concurrency with no runtime overhead.