Search:
Search Results
sci-mathematics/coq-serapi
Serialization library and protocol for interaction with the Coq proof assistant
sci-mathematics/dunshire
Python library to solve linear games over symmetric cones
sci-mathematics/fann
Fast Artificial Neural Network Library
sci-mathematics/flint
Fast Library for Number Theory
sci-mathematics/highs
Modern solver for linear, quadratic, and mixed-integer programs
sci-mathematics/kind2
Multi-engine SMT-based automatic model checker
sci-mathematics/manifold
Geometry library for topological robustness
sci-mathematics/maxima
Free computer algebra environment based on Macsyma
sci-mathematics/opensmt
Compact and open-source SMT-solver written in C++
sci-mathematics/primecount
Highly optimized CLI and library to count primes
sci-mathematics/primesieve
CLI and library for quickly generating prime numbers
sci-mathematics/psmt2-frontend
Library to parse and type-check an extension of the SMT-LIB 2 standard
sci-mathematics/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
sci-mathematics/vampire
The Vampire Prover, theorem prover for first-order logic
sci-mathematics/wxmaxima
Graphical frontend to Maxima, using the wxWidgets toolkit
sci-mathematics/yacas
General purpose computer algebra system
sci-misc/nco
Command line utilities for operating on netCDF files
sci-misc/vitables
A graphical tool for browsing / editing files in both PyTables and HDF5 formats
sci-physics/thepeg
Toolkit for High Energy Physics Event Generation
sci-physics/bullet
Continuous Collision Detection and Physics Library
sci-physics/clhep
High Energy Physics C++ library
sci-physics/espresso
Extensible Simulation Package for Research on Soft matter
sci-physics/geant4_vmc
Virtual Monte Carlo Geant4 implementation
sci-physics/hepmc
Event Record for Monte Carlo Generators
sci-physics/lammps
Large-scale Atomic/Molecular Massively Parallel Simulator
sci-physics/pythia
Lund Monte Carlo high-energy physics event generator
sci-physics/root
C++ data analysis framework and interpreter from CERN
sci-physics/vgm
Virtual Geometry Model for High Energy Physics Experiments
sci-physics/yoda
Yet more Objects for (High Energy Physics) Data Analysis
sci-visualization/kst
Fast real-time large-dataset viewing and plotting tool
sci-visualization/labplot
Scientific data analysis and visualisation based on KDE Frameworks
sci-visualization/paraview
Powerful scientific data visualization application
sci-visualization/veusz
Qt scientific plotting package with good Postscript output
sys-apps/elfix
Suite of tools to work with ELF objects on Hardened Gentoo
sys-apps/ugrep
A fast, drop-in replacement for GNU grep
sys-apps/ethq
Ethernet NIC Queue stats viewer
sys-apps/etckeeper
A collection of tools to let /etc be stored in a repository
sys-apps/fakeroot
A fake root environment by means of LD_PRELOAD and SysV IPC (or TCP) trickery
sys-apps/gentoo-functions
Base functions required by all Gentoo systems
sys-apps/grep
GNU regular expression matcher
sys-apps/keyutils
Linux Key Management Utilities
sys-apps/less
Excellent text file viewer
sys-apps/lm-sensors
Hardware Monitoring user-space utilities
sys-apps/minijail
helper binary and library for sandboxing & restricting privs of service
sys-apps/proot
User-space implementation of chroot, mount --bind, and binfmt_misc
sys-apps/rng-tools
Daemon to use hardware random number generators
sys-apps/sed
Super-useful stream editor
sys-apps/shadow
Utilities to deal with user accounts
sys-apps/texinfo
The GNU info program and utilities
sys-apps/the_silver_searcher
A code-searching tool similar to ack, but faster