Posita-lang
Popular repositories Loading
-
Posita-lang
Posita-lang PublicUltra-static typing meets compile-time control — bit widths, pointer sizes, defaults, and optimization policies, all explicit.
-
Ponent
Ponent PublicPonent: 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
-
Capsa
Capsa Publiccapsa (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, …
Repositories
- 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.
Posita-lang/Ponent’s past year of commit activity - Posita-lang Public
Ultra-static typing meets compile-time control — bit widths, pointer sizes, defaults, and optimization policies, all explicit.
Posita-lang/Posita-lang’s past year of commit activity - 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, run tests, and ensure the security and correctness of their code.
Posita-lang/Capsa’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…