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.