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.