# ponylang/ponyc

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/ponylang-ponyc).**

6,133 stars · 434 forks · Pony · BSD-2-Clause

## Links

- GitHub: https://github.com/ponylang/ponyc
- Homepage: http://www.ponylang.io
- awesome-repositories: https://awesome-repositories.com/repository/ponylang-ponyc.md

## Topics

`actor-model` `pony-language` `pony-source` `ponyc` `ponylang` `programming-language`

## Description

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

## Tags

### Programming Languages & Runtimes

- [Actor-Model Programming Languages](https://awesome-repositories.com/f/programming-languages-runtimes/language-features-paradigms/concurrency-models/concurrency/execution-models/actor-models/actor-model-programming-languages.md) — Is a programming language that uses the actor model for concurrency, where actors manage state and communicate via asynchronous messages.
- [Native Code Compiled Languages](https://awesome-repositories.com/f/programming-languages-runtimes/bytecode-compiled-languages/native-code-compiled-languages.md) — Is a compiled language that produces efficient machine code for performance-critical applications.
- [Actor Models](https://awesome-repositories.com/f/programming-languages-runtimes/language-features-paradigms/concurrency-models/concurrency/execution-models/actor-models.md) — Enables writing concurrent programs where each actor manages its own state and communicates through asynchronous messages. ([source](https://www.ponylang.io/discover/))
- [Work-Stealing Schedulers](https://awesome-repositories.com/f/programming-languages-runtimes/language-features-paradigms/concurrency-models/concurrency/execution-models/actor-models/work-stealing-schedulers.md) — Implements a work-stealing scheduler that distributes lightweight actor tasks across OS threads for maximum CPU utilisation.
- [Capability-Safe Concurrency Primitives](https://awesome-repositories.com/f/programming-languages-runtimes/language-features-paradigms/concurrency-models/safe-concurrency-primitives/capability-safe-concurrency-primitives.md) — Enforces compile-time security capabilities to prevent data races and concurrency bugs in actor-based programs.
- [LLVM-Based Compilers](https://awesome-repositories.com/f/programming-languages-runtimes/llvm-based-compilers.md) — Uses LLVM as its backend compiler to generate optimised native machine code for multiple target architectures.
- [Open-Source Programming Languages](https://awesome-repositories.com/f/programming-languages-runtimes/open-source-programming-languages.md) — Is an open-source language with a publicly available compiler and tutorial for building foundational skills.
- [Source Code Compilers](https://awesome-repositories.com/f/programming-languages-runtimes/source-code-compilers.md) — Compiles source code into efficient machine code that runs with minimal overhead for performance-critical applications. ([source](https://www.ponylang.io/discover/))

### Data & Databases

- [Compiler-Inserted Reference Countings](https://awesome-repositories.com/f/data-databases/data-engineering-infrastructure/data-persistence-storage/data-storage-architectures/zero-copy-memory-mappings/memory-reference-counting/compiler-inserted-reference-countings.md) — Manages memory through compiler-inserted reference counting driven by reference capabilities, eliminating the need for a tracing garbage collector.
- [Asynchronous Message Passings](https://awesome-repositories.com/f/data-databases/data-exchange-protocols/runtime-data-exchange/actor-messaging/asynchronous-message-passings.md) — Provides exclusive asynchronous message passing between actors, with the runtime handling message queues and delivery.

### Operating Systems & Systems Programming

- [High-Performance Systems Programming](https://awesome-repositories.com/f/operating-systems-systems-programming/kernel-core-internals/system-programming-primitives/system-programming/high-performance-systems-programming.md) — Compiles source code into efficient machine code for performance-critical applications with minimal runtime overhead.

### Security & Cryptography

- [Capability-Based Security](https://awesome-repositories.com/f/security-cryptography/security/policies/capability-authorization/capability-based-security.md) — Restricts what each actor can do at compile time using capabilities to prevent data races and concurrency bugs. ([source](https://www.ponylang.io/discover/))
- [Compile-Time Capability-Secure Languages](https://awesome-repositories.com/f/security-cryptography/security/policies/capability-authorization/capability-based-security/compile-time-capability-secure-languages.md) — Enforces compile-time capability-based security to prevent data races and concurrency bugs as a core language feature.
- [Reference Capability Type Systems](https://awesome-repositories.com/f/security-cryptography/security/policies/capability-authorization/capability-based-security/reference-capability-type-systems.md) — Enforces a reference capability type system at compile time to guarantee data-race freedom without a garbage collector.
- [Object Capability Models](https://awesome-repositories.com/f/security-cryptography/security/policies/capability-authorization/capability-based-security/reference-capability-type-systems/object-capability-models.md) — Every object reference carries a compile-time capability that defines allowed operations, forming a fine-grained security model.

### Software Engineering & Architecture

- [Actor-Based Concurrency](https://awesome-repositories.com/f/software-engineering-architecture/actor-based-concurrency.md) — Supports writing safe concurrent programs where actors manage state through asynchronous message passing without shared memory.
- [Compile-Time](https://awesome-repositories.com/f/software-engineering-architecture/race-condition-prevention/compile-time.md) — Prevents data races at compile time through a static type system that verifies exclusive mutable access between actors.
- [Zero-Copy Messaging](https://awesome-repositories.com/f/software-engineering-architecture/zero-copy-messaging.md) — Passes messages between actors by reference when capability-safe, avoiding unnecessary copying and reducing allocation overhead.