gmp
Add support for dev-libs/gmp (GNU MP library)
Name | Category | Description |
---|---|---|
bigloo | dev-scheme | Practical Scheme Compiler with many extensions |
blender | media-gfx | 3D Creation/Animation/Publishing System |
bliss | sci-libs | Compute Automorphism Groups and Canonical Labelings of Graphs |
boolector | sci-mathematics | Fast SMT solver for bit-vectors, arrays and uninterpreted functions |
coreutils | sys-apps | Standard GNU utilities (chmod, cp, dd, ls, sort, tr, head, wc, who,...) |
emacs | app-editors | The extensible, customizable, self-documenting real-time display editor |
esco | dev-lang | Combine interpreter of esoteric languages |
ffmpeg | media-video | Complete solution to record/convert/stream audio and video. Includes libavcodec |
form | sci-mathematics | Symbolic Manipulation System |
fricas | sci-mathematics | FriCAS is a fork of Axiom computer algebra system |
ghc | dev-lang | The Glasgow Haskell Compiler |
glpk | sci-mathematics | GNU Linear Programming Kit |
gnatcoll-bindings | dev-ada | GNAT Component Collection |
libalkimia | app-office | Library with common classes and functionality used by KDE finance applications |
libsecp256k1 | dev-libs | Optimized C library for EC operations on curve secp256k1 |
libtomcrypt | dev-libs | LibTomCrypt is a comprehensive, modular and portable cryptographic toolkit |
lrslib | sci-libs | Reverse-search algorithm for vertex enumeration problems |
Math-PlanePath | dev-perl | Mathematical paths through the 2-D plane |
mercury-extras | dev-lang | Additional libraries and tools that are not part of the Mercury standard library |
mpmath | dev-python | Python library for arbitrary-precision floating-point arithmetic |