{"repo":"zemo-g/rail","free":true,"listed":false,"github":"https://github.com/zemo-g/rail","clone":"git clone https://github.com/zemo-g/rail.git","description":"A self-hosting systems language. Zero C dependencies. GC in ARM64 assembly. Pure-Rail TLS 1.3, Ed25519, SHA-256. Emits its own Metal GPU kernels. 178 tests, 2-pass byte-identical fixed point. 6 backends. BSL 1.1.","language":"Haskell","stars":10,"topics":["ai","functional-programming","language","programming-language","arm64","bootstrapping","compiler","self-hosting","aarch64","apple-silicon"],"license":null,"category":"self-hosted-apps","readme_excerpt":"Rail A self-hosting language built to be an oracle — a checker you can re-run yourself. No C in the runtime. GC in ARM64 assembly. HTTPS in pure Rail. Every answer re-derivable. Quick start · What Rail does · Why Rail · Changelog · Releases --- Rail compiles itself. The compiler — 9,200 lines of Rail — produces a 0.9 MB ARM64 binary that compiles the compiler again and reaches a byte-identical fixed point in 2 cycles. There is no C in the runtime, no libc in the binary. The garbage collector is ARM64 assembly. The TLS 1.3 client is also Rail: import \"stdlib/anthropic client.rail\" and your program talks HTTPS to api.anthropic.com with zero OpenSSL, zero curl, zero socat. As of v5.2.0 , the toolchain stands entirely alone: Rail assembles, links, and code-signs its own Mach-O binaries in-process — no as , no ld , no codesign — so the self-compile is bit-reproducible (the committed seed reproduces itself byte-for-byte). It also emits its own aarch64 Linux ELF binaries and its own GPU kernels, generating Metal Shading Language from an op-DAG and JIT-compiling it at runtime (35× fused rmsnorm+QKV, 18× fused silu+hadamard). A frontier model + 1 KB Rail spec still compiles 30/30 on a held-out hard-bench — publicly reproducible. What the self-hosting is for Self-compilation is not the point; it is the prerequisite. The point is that one small binary can act as an oracle — a deterministic, reproducible checker that a third party can re-run without trusting whoever ran it first. That ma","default_branch":null,"files":null,"tree":[],"storefront":"/r/zemo-g","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/zemo-g/rail/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}