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