Rust compiler in PHP emitting x86-64 executables
Full Rust ownership checking and code generation in PHP; technically audacious, practically hilarious.
A lisp that compiles to eBPF
Replaces LLVM for eBPF with a 5,500-line Common Lisp compiler matching clang optimization.
Systems programmers, kernel developers, eBPF engineers
clang · Aya · BCC
Blog post with more background: https://atgreen.github.io/repl-yell/posts/whistler/
Full Rust ownership checking and code generation in PHP; technically audacious, practically hilarious.
Another Common Lisp implementation competing with established giants like SBCL.
Formally verified EVM bytecode with zero sorries—actually ships working proofs.
Eclipse decompiler plugin with automated updates when other plugins exist.
Express syntax compiled to native binaries, but Tsonic is unproven and requires .NET SDK.
Compiler constraint craft with gem potential, but no repo or verifiable code to inspect.