Search:
Search Results
sci-mathematics/ginac
C++ library and tools for symbolic calculations
sci-mathematics/coq
Proof assistant written in O'Caml
sci-mathematics/pari
Computer-aided number theory C library and tools
sci-mathematics/cgal
C++ library for geometric algorithms and data structures
sci-mathematics/octave
High-level interactive language for numerical computations
sci-mathematics/glpk
GNU Linear Programming Kit
sci-mathematics/mathomatic
Automatic algebraic manipulator
sci-mathematics/pspp
Program for statistical analysis of sampled data
sci-mathematics/agda
A dependently typed functional programming language and proof assistant
app-doc/linkers-and-loaders
The Linkers and Loaders book
mail-mta/msmtp
An SMTP client and SMTP plugin for mail user agents such as Mutt
mail-mta/exim
A highly configurable, drop-in replacement for sendmail
media-tv/w_scan
Scan for DVB-C/DVB-T/DVB-S channels without prior knowledge of frequencies and modulations
media-tv/channeleditor
Editor for VDR channels.conf
sys-devel/binutils-hppa64
Tools necessary to build programs
app-antivirus/clamav
Clam Anti-Virus Scanner
net-dns/bind-tools
bind tools: dig, nslookup, host, nsupdate, dnssec-keygen
net-dns/bind
Berkeley Internet Name Domain - Name Server
net-dns/pdns
The PowerDNS Daemon
dev-texlive/texlive-xetex
TeXLive XeTeX and packages
dev-texlive/texlive-langgerman
TeXLive German
dev-texlive/texlive-langitalian
TeXLive Italian
dev-texlive/texlive-latex
TeXLive LaTeX fundamental packages
dev-texlive/texlive-humanities
TeXLive Humanities packages
dev-texlive/texlive-fontsextra
TeXLive Additional fonts
dev-texlive/texlive-langportuguese
TeXLive Portuguese
dev-texlive/texlive-langfrench
TeXLive French
dev-texlive/texlive-fontsrecommended
TeXLive Recommended fonts
dev-texlive/texlive-pstricks
TeXLive PSTricks
dev-texlive/texlive-langczechslovak
TeXLive Czech/Slovak
dev-texlive/texlive-basic
TeXLive Essential programs and files
dev-texlive/texlive-context
TeXLive ConTeXt and packages
dev-texlive/texlive-bibtexextra
TeXLive BibTeX additional styles
dev-texlive/texlive-langcyrillic
TeXLive Cyrillic
dev-texlive/texlive-langgreek
TeXLive Greek
dev-texlive/texlive-formatsextra
TeXLive Additional formats
dev-texlive/texlive-langcjk
TeXLive Chinese/Japanese/Korean (base)
dev-texlive/texlive-langpolish
TeXLive Polish
dev-texlive/texlive-publishers
TeXLive Publisher styles, theses, etc.
dev-texlive/texlive-metapost
TeXLive MetaPost and Metafont packages
dev-texlive/texlive-langspanish
TeXLive Spanish
dev-texlive/texlive-pictures
TeXLive Graphics, pictures, diagrams
dev-texlive/texlive-music
TeXLive Music packages
dev-texlive/texlive-games
TeXLive Games typesetting
dev-texlive/texlive-latexrecommended
TeXLive LaTeX recommended packages
dev-texlive/texlive-latexextra
TeXLive LaTeX additional packages
dev-texlive/texlive-langother
TeXLive Other languages
sys-auth/pam_dotfile
pam module to allow password-storing in $HOME/dotfiles
app-accessibility/freetts
A speech synthesis system written entirely in Java
www-client/elinks
Advanced and well-established text-mode web browser