gpo.zugaina.org

Search Portage & Overlays:
Search:

Search Results

Results: 1 - 50 of 56 Page:  1  2 
media-video/ffmpeg
Complete solution to record, convert and stream audio and video. Includes libavcodec
dev-lang/ghc
The Glasgow Haskell Compiler
dev-java/gnu-classpath
Free core class libraries for use with virtual machines and compilers for the Java language
dev-cpp/eigen
C++ template library for linear algebra
dev-scheme/bigloo
Bigloo is a Scheme implementation.
www-client/seamonkey
Seamonkey Web Browser
dev-lang/php
The PHP language runtime engine
sci-mathematics/gap
System for computational discrete algebra
dev-lang/gnu-smalltalk
GNU Smalltalk
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-libs/botan
A C++ crypto library
dev-lang/polyml
Poly/ML is a full implementation of Standard ML
dev-lang/yap
YAP is a high-performance Prolog compiler
dev-lang/swi-prolog
free, small, and standard compliant Prolog compiler
dev-lang/parrot
Virtual machine designed to efficiently compile and execute bytecode for dynamic languages
net-im/silc-toolkit
SDK for the SILC protocol
dev-libs/nettle
Low-level cryptographic library
dev-libs/rasqal
library that handles Resource Description Framework (RDF)
sci-mathematics/pari
A software package for computer-aided number theory
sci-mathematics/cgal
C++ library for geometric algorithms and data structures
sci-mathematics/glpk
GNU Linear Programming Kit
net-irc/scrollz
Advanced IRC client based on ircII
media-sound/snd
Snd is a sound editor
dev-python/tlslite
TLS Lite is a free python library that implements SSL 3.0 and TLS 1.0/1.1
dev-python/mpmath
Python library for arbitrary-precision floating-point arithmetic
dev-python/pycrypto
Python Cryptography Toolkit
sys-apps/coreutils
Standard GNU utilities (chmod, cp, dd, ls, sort, tr, head, wc, who,...)
sci-mathematics/fricas
FriCAS is a fork of Axiom computer algebra system
www-client/firefox
Firefox Web Browser
dev-lang/idris
Functional Programming Language with Dependent Types
dev-libs/gecode
An environment for developing constraint-based applications
dev-libs/igraph
Creating and manipulating undirected and directed graphs
sci-libs/lrslib
self-contained ANSI C implementation of the reverse search algorithm
sci-mathematics/form
Symbolic Manipulation System
dev-haskell/crypto-numbers
Cryptographic numbers: functions and algorithms
sci-libs/bliss
A Tool for Computing Automorphism Groups and Canonical Labelings of Graphs
sci-mathematics/z3
An efficient theorem prover
net-firewall/nftables
Linux kernel (3.13+) firewall, NAT and packet mangling tools
dev-util/radare2
Advanced command line hexadecimal editor and more
dev-libs/libsecp256k1
Optimized C library for EC operations on curve secp256k1
www-client/firefox-kde-opensuse
Firefox Web Browser, with SUSE patchset, to provide better KDE integration
dev-perl/Math-PlanePath
Mathematical paths through the 2-D plane
dev-haskell/cryptonite
Cryptography Primitives sink
dev-lang/gambas
Gambas is a free development environment based on a Basic interpreter with object extensions
dev-util/gambas
Gambas is a free development environment based on a Basic interpreter with object extensions
app-editors/sxemacs
A text editing and development environment based on XEmacs that aims to be second to none in regards to stability, features, and innovation.
dev-util/numdiff
File comparision, ignoring small numeric differences and formats
sci-mathematics/dolfin
C++/Python interface of FEniCS
Results: 1 - 50 of 56 Page:  1  2