1.oracle / graalGraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀javaaotcompilergraalvmJavaOther license22K total1.8K forks+7 starsfrom 21,743 · score 2.08
2.WebAssembly / specWebAssembly specification, reference interpreter, and test suite.specificationWebAssemblyOther license3.5K total545 forks+1 starsfrom 3,467 · score 0.69
3.WasmCert / WasmCert-CoqA mechanisation of Wasm in Rocqwebassemblywasmcoqrocq-proverRocq ProverOther license128 total21 forks+1 starsfrom 127 · score 0.69