libcalcium0

C library for exact computation with numbers, shared library

Calcium is capable of rigourosly deciding the truth of any constant relationship involving algebraic numbers and many relations involving transcendental numbers.

cl-global-vars

efficient global variables in Common Lisp

In Common Lisp, a special variable that is never dynamically bound typically serves as a stand-in for a global variable. This library provides true global variables that are implemented by some compilers. An attempt to rebind a global variable properly results in a compiler error. That is, a global variable cannot be dynamically bound.

libsingular4m3n0

Computer Algebra System for Polynomial Computations -- library package

SINGULAR is a Computer Algebra System (CAS) for polynomial computations with emphasis on the special needs of commutative algebra, algebraic geometry, and singularity theory.

liblomirisystemsettings1

System Settings application for Lomiri - plug-in library

Lomiri-system-settings is the System Settings application used in Lomiri operating environment. it's designed for phones, tablets and convergent devices.

libadios2-serial-core-2

ADIOS2 Adaptable IO system for simulations - core libraries (serial)

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.

virtme

Helper scripts to test kernel code on qemu

A set of simple tools to run a virtualized Linux kernel that uses the host Linux distribution or a simple rootfs instead of a whole disk image.