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.