oxc-project / tsrs

Rust port of the TypeScript 7 type checker

rust-lang / rust

Empowering everyone to build reliable and efficient software.

rul-lang / rul

Rul (.rl) — Zero-Syntax 128-Bit Schedule- & Proof-Carrying Binary Programming Language & Execution Engine for Autonomous AI Agents (5.8ns/node O(N) Verifier, 6.4µs Zero-LLVM AVX2 ELF64 AOT Compiler)

richiemcilroy / Tov

A TypeScript-shaped language built for coding agents. It compiles to small, fast native binaries.