Those functions let you know which and how many disk block from a relation are in the page cache of the operating system, and eventually write the result to a file. Then using this file, it is possible to restore the page cache state for each block of the relation.

A library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism.

CodeMirror is a code editor component for the web. It can be used in websites to implement a text input field with support for many editing features, and has a rich programming interface to allow further extension.

This is the GNU Objective-C++ compiler, which compiles Objective-C++ on platforms supported by the gcc compiler.

PostgreSQL, also known as Postgres, is a free and open-source relational database management system (RDBMS) emphasizing extensibility and SQL compliance. It features transactions with Atomicity, Consistency, Isolation, Durability (ACID) properties, automatically updatable views, materialized views, triggers, foreign keys, and stored procedures. It is designed to handle a range of workloads, from single machines to data warehouses or Web services with many concurrent users.

Chemical Identifier Resolver (CIR) by the CADD Group at the NCI/NIH. CIR is a web service that will resolve any chemical identifier to another chemical representation.