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.

libopm-grid

DUNE grid implementations for reservoir simulation -- library

The Open Porous Media (OPM) software suite provides libraries and tools for modeling and simulation of porous media processes, especially for simulating CO2 sequestration and improved and enhanced oil recovery.

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.