Posita-lang

Popular repositories Loading

1. Posita-lang Posita-lang Public

   Ultra-static typing meets compile-time control — bit widths, pointer sizes, defaults, and optimization policies, all explicit.

   2

2. Ponent Ponent Public

   Ponent: official Posita compiler, translating source to native code via Cranelift with an optional strict mode for SMT‑based contract verification. Frontend development is active.

   Rust 1

3. Capsa Capsa Public

   capsa (Latin for "box, container") is the official package manager and build tool for the Posita language. It serves as the primary interface for developers to manage dependencies, build projects, …

4. .github .github Public

   Community discussions, announcements, and open-source hub for the Posita-lang organization.