Zepl is a lightweight, simple and easy to use REPL integration package for Vim 8.1+ and Neovim. It provides a small set of key bindings and commands to start and interact with a running REPL.

Chris Wedel is a fan of all things tech and gadgets. Living in rural Kansas with his wife and two young boys makes finding ways to stay online tricky — not to mention making my homestead smarter.

Britta DeVore is a Senior Author for Collider who has been known to dabble with Reality News as well. When she isn't sitting behind her laptop bringing readers her hot takes on upcoming projects or ...

lean-repl-py is a Python application designed to interact with the Lean REPL (Read-Eval-Print Loop). It provides an interface for sending commands to Lean and processing responses, making it easier to ...