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...