GitHub repository: Kripner/lean-repl
Primary language: Lean
Description: A simple REPL for Lean 4, returning information about errors and sorries.