libvma is a LD_PRELOAD-able library that boosts performance of TCP and UDP traffic. It allows application written over standard socket API to handle fast path data traffic from user space over Ethernet and/or Infiniband with full network stack bypass and get better throughput, latency and packets/sec rate.

TPM2.0 TSS (Software Stack) consists of API layers provided to support TPM 2.0 chips. It is made out of three layers:

The Adaptable IO System (ADIOS) provides a simple, flexible way for scientists to describe the data in their code that may need to be written, read, or processed outside of the running simulation. By providing an external to the code XML file describing the various elements, their types, and how you wish to process them this run, the routines in the host code (either Fortran or C) can transparently change how they process the data.

This is the GNU Modula-2 compiler for the arc-linux-gnu architecture, which compiles Modula-2 on platforms supported by gcc. It uses the gcc backend to generate optimised code.

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.

This is the GNU Modula-2 compiler for the alpha-linux-gnu architecture, which compiles Modula-2 on platforms supported by gcc. It uses the gcc backend to generate optimised code.