Gala – Sealed types, pattern matching, and monads for Go
Sealed types + exhaustive pattern matching compile to flat Go interop—no runtime overhead.
Write your BPF programs in Go, not C. gobee transpiles a Go subset to BPF C and generates typed cilium/ebpf bindings.
Go-to-BPF transpilation beats Aya's Rust approach by reusing clang's mature backend.
Go developers writing eBPF kernel programs
Aya · bpf2go · BCC
Sealed types + exhaustive pattern matching compile to flat Go interop—no runtime overhead.
Python-to-Nim transpiler with ctypes-backed types when Cython and Numba already exist.
Seven years of solo work building effect-typed WASM between Rust and TypeScript.
Sandbox-aware language: agents can enforce permissions even on Mog-written bash commands.
First language designed for LLMs to modify safely with capability permissions.
LLM writes a working transpiler for an obscure 1980s language with zero training data.