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