I want to share something I have been working on and get honest technical feedback. Nyx started with a question: is it possible to build a unified language with modern high-level syntax, while preserving the deterministic, bare-metal performance of zero garbage collection? We built our own approach with automatic region inference, zero GC, no explicit lifetime annotations, region-based memory allocation, reference-counted promotion for values escaping regions, formal Lambda-Nyx calculus, proposed Zero Use-After-Free invariant, and a native compiler implementation that has passed test suites and benchmarks.
Beyond the compiler: Nyx Gaming Engine with playable desktop games, NyxOS and Nyx Mobile. We want your feedback: does our automatic region inference make sense? Does the model convincingly prevent use-after-free bugs? nyx.9jaoncloud.com.ng, github.com/9jaoncloud/nyx
