Ledatic-Empire/rail

A self-hosting systems language. Zero C dependencies; the collector in ARM64 assembly; pure-Rail TLS 1.3, Ed25519, SHA-256. The seed rebuilds itself byte-identically on every CI run; its numbers are under a contract checked against C bit for bit. BSL 1.1.

语言：Haskell · GitHub 星标：11 · Fork：0

话题：aarch64 · apple-silicon · arm64 · bit-exact · bootstrap-compiler · bootstrapping · compiler · cryptography

在 GitHub 上查看原仓库