rsplib-services

RSerPool example services

Reliable Server Pooling (RSerPool) is the IETF's standard (RFC 5351 to RFC 5356) for a lightweight server pool and session management framework. It provides highly available pool management (that is registration handling and load distribution/balancing) by components called Registrar and a client-side/server-side API for accessing the service of a pool.

libcoq-mathcomp-ssreflect

Mathematical Components library for Coq (small scale reflection)

The Mathematical Components Library is an extensive and coherent repository of formalized mathematical theories. It is based on the Coq proof assistant, powered with the Coq/SSReflect language.

tryton-modules-account-move-line-grouping

Tryton application platform - account move line grouping module

Tryton is a high-level general purpose application platform. It is the base of a complete business solution as well as a comprehensive health and hospital information system (GNUHealth).

tryton-modules-sale-blanket-agreement

Tryton application platform - doc/index.rst

Tryton is a high-level general purpose application platform. It is the base of a complete business solution as well as a comprehensive health and hospital information system (GNUHealth).

tryton-modules-account-rule

Tryton application platform - account rule module

Tryton is a high-level general purpose application platform. It is the base of a complete business solution as well as a comprehensive health and hospital information system (GNUHealth).

tryton-modules-account-stock-shipment-cost

Tryton application platform - account stock shipment cost module

Tryton is a high-level general purpose application platform. It is the base of a complete business solution as well as a comprehensive health and hospital information system (GNUHealth).