GitHub repository: leanprover/lean.js
Primary language: Python
Description: Lean ported to Javascript with Emscripten