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.