Biblioteket ble åpnet i 1785 med en samling på om lag 7 000 bøker og er siden vokst betydelig ved gaver. Det er senere blitt et kommunalt folkebibliotek kalt Deichman bibliotek i Oslo.