storm-lang-graphics

Graphics library for Storm

Provides the ability to load various image types to Storm programs.

indi-mi

INDI driver for cameras made by Moravian Instruments

This package contains an INDI driver to support cameras made by Moravian Instruments.

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

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.