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