The Websocket Provider implements a classical client server model. Clients connect to a single endpoint over Websocket. The server distributes awareness information and document updates among clients.

This library is meant to replace all global JavaScript functions with isomorphic module imports. Additionally, it implements several performance-oriented utility modules. Most noteworthy are the binary encoding/decoding modules lib0/encoding and lib0/decoding, the randomized testing framework lib0/testing, the fast Pseudo Random Number Generator lib0/PRNG, the small socket.io alternative lib0/websocket, and the logging module lib0/logging that allows colorized logging in all environments.

This package provides a plugin for Coq to generate parametricity statements, typically used in data refinement proofs.

LDAPjs makes the LDAP protocol a first class citizen in Node.js. It provides both client and server libraries.

The gnome-desktop set of libraries provides various utility functions that are used in multiple components of the GNOME desktop, but do not have a sufficiently stable API to be included in core libraries such as GLib and GTK.

TileDB allows you to store and access very large multi-dimensional array data, the data currency of Data Science.