app-editors
app-editors / emacs : The extensible, customizable, self-documenting real-time display editor
- Use the GNU multiple precision arithmetic library (dev-libs/gmp) instead of the bundled mini-gmp subset
app-office
app-office / libalkimia : Library with common classes and functionality used by KDE finance applications
dev-ada
dev-ada / gnatcoll-bindings : GNAT Component Collection
dev-lang
dev-lang / esco : Combine interpreter of esoteric languages
dev-lang / ghc : The Glasgow Haskell Compiler
- Use dev-libs/gmp for integer operations (works faster, but an external depend).
dev-lang / mercury-extras : Additional libraries and tools that are not part of the Mercury standard library
dev-lang / parrot : Virtual machine designed to compile and execute bytecode for dynamic languages
dev-lang / php : The PHP language runtime engine
dev-lang / polyml : Poly/ML is a full implementation of Standard ML
dev-lang / swi-prolog : Versatile implementation of the Prolog programming language
dev-libs
dev-libs / libsecp256k1 : Optimized C library for EC operations on curve secp256k1
dev-libs / libtomcrypt : LibTomCrypt is a comprehensive, modular and portable cryptographic toolkit
dev-libs / nettle : Low-level cryptographic library
dev-libs / openssl : Robust, full-featured Open Source Toolkit for the Transport Layer Security (TLS)
dev-libs / openssl-compat : Full-strength general purpose cryptography library (including SSL and TLS)
dev-libs / rasqal : Library that handles Resource Description Framework (RDF)
dev-perl
dev-perl / Math-PlanePath : Mathematical paths through the 2-D plane
dev-python
dev-python / mpmath : Python library for arbitrary-precision floating-point arithmetic
dev-scheme
dev-scheme / bigloo : Practical Scheme Compiler with many extensions
dev-util
dev-util / numdiff : File comparision, ignoring small numeric differences and formats
media-gfx
media-gfx / blender : 3D Creation/Animation/Publishing System
media-sound
media-sound / snd : Snd is a sound editor
media-video
media-video / ffmpeg : Complete solution to record/convert/stream audio and video. Includes libavcodec
net-firewall
net-firewall / nftables : Linux kernel (3.13+) firewall, NAT and packet mangling tools
net-irc
net-vpn
net-vpn / strongswan : IPsec-based VPN solution, supporting IKEv1/IKEv2 and MOBIKE
sci-libs
sci-libs / bliss : Compute Automorphism Groups and Canonical Labelings of Graphs
sci-libs / lrslib : Reverse-search algorithm for vertex enumeration problems
sci-mathematics
sci-mathematics / boolector : Fast SMT solver for bit-vectors, arrays and uninterpreted functions
sci-mathematics / form : Symbolic Manipulation System
sci-mathematics / fricas : FriCAS is a fork of Axiom computer algebra system
sci-mathematics / glpk : GNU Linear Programming Kit
sci-mathematics / pari : Computer-aided number theory C library and tools
sci-mathematics / z3 : An efficient theorem prover
sys-apps
sys-apps / coreutils : Standard GNU utilities (chmod, cp, dd, ls, sort, tr, head, wc, who,...)