Search:

sci-libs/dsdp

Software for interior-point for semidefinite programming

sci-libs/flann

Fast approximate nearest neighbor searches in high dimensional spaces

sci-libs/hypre

Parallel matrix preconditioners library

sci-libs/netcdf-cxx

C++ library for netCDF

sci-libs/netcdf-fortran

Scientific library and interface for array oriented data access

sci-mathematics/diagrtb

Calculation of some eigenvectors of a large real, symmetrical, matrix

sci-mathematics/nauty

Computing automorphism groups of graphs and digraphs

sci-mathematics/prng

Pseudo-Random Number Generator library

sci-mathematics/prover9

Automated theorem prover for first-order and equational logic

sci-mathematics/rngstreams

Multiple independent streams of pseudo-random numbers

sci-mathematics/unuran

Universal Non-Uniform Random number generator

sci-physics/reduze

Program for reducing Feynman integrals

sci-physics/fastjet

A software package for jet finding in pp and e+e- collisions

sci-physics/siscone

Hadron Seedless Infrared-Safe Cone jet algorithm

sys-auth/libfprint

library to add support for consumer fingerprint readers

sys-cluster/libqb

Library providing high performance logging, tracing, ipc, and poll

www-client/phantomjs

A headless WebKit scriptable with a JavaScript API

x11-wm/xpra

X Persistent Remote Apps (xpra) and Partitioning WM (parti) based on wimpiggy

dev-perl/Business-ISBN

Work with ISBN as objects

dev-perl/Text-BibTeX

A Perl library for reading, parsing, and processing BibTeX files

dev-util/lttng-ust

Linux Trace Toolkit - UST library

net-libs/libnetfilter_acct

Library providing interface to extended accounting infrastructure

media-libs/cimg

C++ template image processing toolkit

dev-python/irc

IRC client framework written in Python

net-misc/libteam

Library and tools set for controlling team network device

x11-libs/motif

The Motif user interface component toolkit

dev-perl/Net-SFTP-Foreign

SSH File Transfer Protocol client

dev-python/pycollada

Python library for reading and writing COLLADA documents

dev-python/pyelftools

pure-Python library for parsing and analyzing ELF files and DWARF debugging information

sci-libs/ceres-solver

Nonlinear least-squares minimizer

dev-lua/lgi

Dynamic Lua binding to GObject libraries using GObject-Introspection

dev-util/cmocka

Unit testing framework for C

dev-lang/teyjus

Higher-order logic programming language Lambda Prolog

sci-mathematics/twelf

Implementation of the logical framework LF

sci-mathematics/alt-ergo

Automatic theorem prover

media-libs/soxr

SoX Resampler library

dev-libs/hiredis

Minimalistic C client library for the Redis database

dev-lang/coffee-script

A little language that compiles into javascript

sys-cluster/hpx

C++ runtime system for parallel and distributed applications

dev-haskell/shelly

shell-like (systems) programming in Haskell

dev-haskell/reactive-banana-wx

Examples for the reactive-banana library, using wxHaskell

dev-python/flask-wtf

Simple integration of Flask and WTForms

net-analyzer/pypacker

Fast and simple packet creation and parsing library for Python

dev-python/pillow

Python Imaging Library (fork)

sci-physics/lammps

Large-scale Atomic/Molecular Massively Parallel Simulator

dev-python/defusedxml

XML bomb protection for Python stdlib modules, an xml serialiser

dev-python/statsmodels

Statistical computations and models for use with SciPy

sci-libs/itk

NLM Insight Segmentation and Registration Toolkit

dev-perl/Schedule-Cron-Events

Take a line from a crontab and find out when events will occur

dev-perl/Getopt-Tabular

Table-driven argument parsing with help text