Search:
Search Results
media-video/ffmpeg
Complete solution to record/convert/stream audio and video. Includes libavcodec
dev-lang/ghc
The Glasgow Haskell Compiler
www-client/seamonkey
Seamonkey Web Browser
dev-lang/php
The PHP language runtime engine: CLI, CGI, FPM/FastCGI, Apache2 and embed SAPIs.
dev-lang/esco
Combine interpreter of esoteric languages
dev-libs/openssl
full-strength general purpose cryptography library (including SSL and TLS)
net-misc/strongswan
IPsec-based VPN solution focused on security and ease of use, supporting IKEv1/IKEv2 and MOBIKE
dev-lang/polyml
Poly/ML is a full implementation of Standard ML
dev-lang/mercury-extras
Additional libraries and tools that are not part of the Mercury standard library
dev-lang/swi-prolog
Versatile implementation of the Prolog programming language
dev-lang/parrot
Virtual machine designed to compile and execute bytecode for dynamic languages
dev-libs/nettle
Low-level cryptographic library
dev-libs/rasqal
Library that handles Resource Description Framework (RDF)
sci-mathematics/pari
Computer-aided number theory C library and tools
sci-mathematics/glpk
GNU Linear Programming Kit
media-gfx/blender
3D Creation/Animation/Publishing System
net-irc/scrollz
Advanced IRC client based on ircII
media-sound/snd
Snd is a sound editor
dev-python/pycrypto
Python Cryptography Toolkit
sys-apps/coreutils
Standard GNU file utilities (chmod, cp, dd, dir, ls...), text utilities (sort, tr, head, wc..), and shell utilities (whoami, who,...)
www-client/firefox-bin
Firefox Web Browser
sci-mathematics/fricas
FriCAS is a fork of Axiom computer algebra system
app-editors/emacs
The extensible, customizable, self-documenting real-time display editor
mail-client/thunderbird
Thunderbird Mail Client
www-client/firefox
Firefox Web Browser
sci-libs/lrslib
Reverse-search algorithm for vertex enumeration problems
sci-mathematics/form
Symbolic Manipulation System
sci-libs/bliss
Compute Automorphism Groups and Canonical Labelings of Graphs
sci-mathematics/z3
An efficient theorem prover
net-firewall/nftables
Linux kernel firewall, NAT and packet mangling tools
dev-libs/libsecp256k1
Optimized C library for EC operations on curve secp256k1
dev-perl/Math-PlanePath
Mathematical paths through the 2-D plane
dev-libs/libtomcrypt
LibTomCrypt is a comprehensive, modular and portable cryptographic toolkit
dev-haskell/cryptonite
Cryptography Primitives sink
dev-util/numdiff
File comparision, ignoring small numeric differences and formats
dev-haskell/integer-logarithms
Integer logarithms
net-vpn/strongswan
IPsec-based VPN solution, supporting IKEv1/IKEv2 and MOBIKE
dev-haskell/cborg
Concise Binary Object Representation (CBOR)
www-apps/freshrss
FreshRSS - a free, self-hostable aggregator
dev-ada/gnatcoll-bindings
GNAT Component Collection
dev-libs/openssl-bad
Snapshot for testssl.sh >2.8 from PM's fork, ready to compile
dev-libs/openssl-compat
full-strength general purpose cryptography library (including SSL and TLS)
dev-libs/nettle-compat
Low-level cryptographic library (6.2 ABI)
dev-scheme/bigloo
Practical Scheme Compiler with many extensions
dev-haskell/bitvec
Space-efficient bit vectors
sci-mathematics/boolector
Fast SMT solver for bit-vectors, arrays and uninterpreted functions
sci-libs/scip
SCIP - Solving Constraint Integer Programs
sci-libs/soplex
Sequential object-oriented simPlex
dev-haskell/crypton
Cryptography Primitives sink
net-im/silc-server
Server for Secure Internet Live Conferencing