gpo.zugaina.org

Search Portage & Overlays:
Search: gentoo-sources

Search Results

Results: 2251 - 50 of 20133 Page:  42  43  44  45  46  47  48  49  50 
sci-mathematics/nauty
Computing automorphism groups of graphs and digraphs
sci-mathematics/prng
Pseudo-Random Number Generator library
sci-mathematics/sympow
Symmetric power elliptic curve L-functions
sci-mathematics/yices2
SMT Solver supporting SMT-LIB and Yices specification language
sci-mathematics/cgal
C++ library for geometric algorithms and data structures
sci-mathematics/cryptominisat
Advanced SAT solver with C++ and command-line interfaces
sci-mathematics/fann
Fast Artificial Neural Network Library
sci-mathematics/minisat
Small yet efficient SAT solver with reference paper
sci-mathematics/opensmt
Compact and open-source SMT-solver written in C++
sci-mathematics/petsc
Portable, Extensible Toolkit for Scientific Computation
sci-mathematics/primecount
Highly optimized CLI and library to count primes
sci-mathematics/primesieve
CLI and library for quickly generating prime numbers
sci-mathematics/pspp
Program for statistical analysis of sampled data
sci-mathematics/slepc
Scalable Library for Eigenvalue Problem Computations
sci-mathematics/wxmaxima
Graphical frontend to Maxima, using the wxWidgets toolkit
sci-mathematics/yacas
General purpose computer algebra system
sci-misc/netlogo-bin
Programming language and IDE for agent-based modelling
sci-misc/boinc
The Berkeley Open Infrastructure for Network Computing
sci-misc/fitscut
Extract cutouts from FITS image files
sci-misc/h5utils
Utilities for visualization and conversion of HDF5 files
sci-physics/xfoil
Design and analysis of subsonic isolated airfoils
sci-physics/geant
Toolkit for simulation of passage of particles through matter
sci-physics/hepmc
Event Record for Monte Carlo Generators
sci-physics/root
C++ data analysis framework and interpreter from CERN
sci-physics/vgm
Virtual Geometry Model for High Energy Physics Experiments
sci-physics/vmc
The Virtual Monte Carlo core library
sci-visualization/xyscan
Tool for extracting data points from graphs
sys-apps/byld
Build a Linux distribution on a single floppy
sys-apps/help2man
GNU utility to convert program --help output to a man page
sys-apps/diffutils
Tools to make diffs and compare files
sys-apps/consolation
libinput based console mouse daemon
sys-apps/conspy
Remote control for Linux virtual consoles
sys-apps/dchroot
Utility for managing chroots for non-root users
sys-apps/dnotify
Execute a command when the contents of a directory change
sys-apps/haveged
A simple entropy daemon using the HAVEGE algorithm
sys-apps/hotplug2stdout
A tool for reading kernel uevent(s) to stdout
sys-apps/ipmitool
Utility for controlling IPMI enabled devices
sys-apps/iproute2
kernel routing and traffic control utilities
sys-apps/lm-sensors
Hardware Monitoring user-space utilities
sys-apps/memtest86-bin
Stand alone memory testing software for x86 EFI hardware
sys-apps/pick
A fuzzy search tool for the command-line
sys-apps/prctl
Tool to query and modify process behavior
sys-apps/pv
Pipe Viewer: a tool for monitoring the progress of data through a pipe
sys-apps/renameutils
Use your favorite text editor to rename files
sys-apps/rng-tools
Daemon to use hardware random number generators
sys-apps/secilc
SELinux Common Intermediate Language (CIL) Compiler
sys-apps/servicelog
Provides utilities for logging service-related events
sys-apps/ucspi-tcp
Collection of tools for managing UNIX services
sys-apps/udevil
Mount and unmount removable devices without a password
sys-apps/zorroutils
Zorro bus utility for Amigas running 2.1 and later kernels
Results: 2251 - 50 of 20133 Page:  42  43  44  45  46  47  48  49  50