libsundials-kinsol4
KINSOL solver (SUNDIALS library)
This package contain the library for KINSOL (nonlinear algebraic systems)
system solver from SUNDIALS (SUite of Nonlinear and DIfferential/ALgebraic
equation Solvers).
progvis
Program visualization tool for C/C++ (and others)
A program visualization tool written in Storm. Supports a subset
of C/C++, and other languages supported by the Storm language
platform. Aimed at showing how concurrent programs interact with
pointers/references and other fundamental programming concepts.
libc6-x32
GNU C Library: X32 ABI Shared libraries for AMD64
This package includes shared versions of the standard C library and the
standard math library, as well as many others. This is the X32 ABI version
of the library, meant for AMD64 systems.
libginac13
GiNaC symbolic framework runtime library
GiNaC (which stands for "GiNaC is Not a CAS (Computer Algebra System)") is a
library for doing symbolic (i.e. non-numeric) computation directly in the C++
programming language.
coqprime-tools
Primality certification for Coq (tools)
Coqprime consists in:
- a library of facts from number theory
- a library for elliptic curves
- an efficient library for modular arithmetic
- tools to generate Pocklington and elliptic curve
certificates of primality
gophernicus
modern, full-featured gopher daemon
gophernicus is a modern, full-featured gopher daemon written with security in
mind. Its features include:
* automatic gophermap generation for directories
* personal gopherspaces
* virtual hosting
* most parts of cge CGI/1.1 standard
* selector rewriting
* session tracking, throttling, and statistics
* tls/ssl and proxy support