The Music Library has digital audio and video recorders that patrons can check out to use for all sorts of recording projects. All the recorders are made by Zoom (not the streaming video-conferencing software, different company) and are designed to portable, relatively easy to use, and most importantly to provide excellent audio capture in a wide variety of environments.
Digital Audio Recorders (6 total, two of each model): Zoom H4 line (H4n, H4n Pro, and H4essential)
Video Recorders (6 total, two of each model): Zoom Q8, Zoom Q8n, and Zoom Q2n
This video review from music supplier J. W. Pepper explains why the Zoom Q8 is a great solution for musicians and how to use it to best advantage.