{{language|
|exec=machine
|strength=strong
|safety=safe
|checking=static
|gc=yes
|site=http://ponylang.org/
}}


'''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.