ruby-ast

Ruby library for working with abstract syntax trees

ast embraces immutability; each AST node is inherently frozen at creation, and updating a child node requires recreating that node and its every parent, recursively.

ruby-public-suffix

Domain name parser based on the Public Suffix List

PublicSuffix can parse and decompose a domain name into top level domain, domain and subdomains.

vuos-cmds

Virtual Operating System at user space: commands

Virtual Operating System at user space. Currently it implements about 150 Linux-compatible system calls providing support for a wide range of applications. Each process or even each thread in VUOS can see a different execution environment: file system contents, networking, devices, user ids, etc. The main idea behind VUOS is that it is possible to give processes their own "view" using partial virtual machines

vuos-modules

Virtual Operating System at user space: modules

Virtual Operating System at user space. Currently it implements about 150 Linux-compatible system calls providing support for a wide range of applications. Each process or even each thread in VUOS can see a different execution environment: file system contents, networking, devices, user ids, etc. The main idea behind VUOS is that it is possible to give processes their own "view" using partial virtual machines

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.