node-lib0

Monorepo of isomorphic utility functions

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.

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.

node-isomorphic.js

Isomorphic JavaScript helper functions

Helper functions for Isomorphic JavaScript (aka Universal JavaScript), for performance, crypto...