This is a staging site. Uploads will not persist. Testing only.
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.
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.
libkosm1
library for OSM data with Qt
Use OSM data with Qt data types to use it easily in your Qt applications.
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.