node-y-websocket

Websockets provider for Yjs

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.

python3-monzopy

Async Python wrapper for Monzo API interactions

Monzopy is an asynchronous Python library that interfaces with the Monzo API. It's designed to support the integration of Monzo's banking services into applications, notably within the Home Assistant ecosystem. Monzo Bank offers a range of financial services through its digital platform, including current accounts and money management tools. This library provides developers with the functionality to access Monzo account features, manage transactions, and integrate banking capabilities into third-party applications seamlessly.

libcoq-paramcoq-ocaml

Coq plugin to generate parametricity statements (runtime)

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

node-ldapjs

LDAP toolbox for Node.js

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

libgnome-desktop-4-2

Utility library for the GNOME desktop - runtime files

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.

node-jose

JOSE library without dependencies

"JSON Web Almost Everything" - JWA, JWS, JWE, JWT, JWK, JWKS with no dependencies using runtime's native crypto in Node.js, Browser, Cloudflare Workers, Electron, and Deno.