Repository Index

Pyodide is a Python distribution for the browser and Node.js based on WebAssembly

• python
• webassembly
• wasm
• emscripten

Mono open source ECMA CLI, C# and .NET implementation.

• xamarin
• android
• ios
• dotnet

Android virtual machine and deobfuscator

• deobfuscation
• java
• optimization
• android

[INACTIVE] Avian is a lightweight virtual machine and class library designed to provide a useful subset of Java's features, suitable for building self-contained applications.

• java
• jit-compiler
• openjdk
• jvm

JQuick Java: a lightweight Java-like scripting language for rule engines. Declare, parse and execute business rules at runtime via XML or inline scripts—no restart needed. Java 8+, embeddable, with LSP and IDEA plugin support.

Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.

• ocaml
• wasm
• webassembly
• interpreter

A TLA+ interpreter and model checker in TypeScript

• formal-verification
• tlaplus
• typescript

Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.

• liquid
• ocaml
• parser-combinators
• shopify

AS3-based Javascript interpreter, minus a few features (prototype chain, mainly)

GML VM and Compiler built inside of GML with the long term goal to be able to compile any project folder.