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.