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.