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; a fully tested le…
Rust
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; a fully tested lexer is already in place.
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
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…