Мой любимый язык программирования —
代码是定理的证明。
🏠
Working from home
Pinned Loading
-
-
-
simon-says
simon-says PublicA GNAT health check that compiles Ada and thanks Simon Wright for his macOS builds – written in Zig.
Zig 1
-
vixlang/Vix-lang
vixlang/Vix-lang PublicA simple and efficient system-level programming language
-
Posita-lang/Ponent
Posita-lang/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
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.


