程序库（Library）是计算机科学中的一个术语，指的是一组已经编写好的代码，可以在程序中被重复使用的一部分。程序库通常包括各种函数、类、数据结构等，这些代码可以被其他程序调用，以实现一些特定的功能。程序库可以大大减少程序员的工作量，提高代码的复用性和开发效率。

程序库可以分为很多种类，例如操作系统库、数据库客户端库、图形界面库等。常见的程序库有 Microsoft .NET Framework、Java SE Development Kit、Python Standard Library 等。可以通过将程序库引入到应用程序中，使得开发人员可以直接使用预先编写好的代码，而不必重复编写类似的代码，从而提高代码的可维护性和可读性。