Search:
Search Results
sci-libs/linux-gpib
Driver library for GPIB (IEEE 488.2) hardware
sci-libs/linux-gpib-modules
Kernel modules for GPIB (IEEE 488.2) hardware
sci-libs/miopen
AMD's Machine Intelligence Library
sci-libs/opencascade
Development platform for CAD/CAE, 3D surface/solid modeling and data exchange
sci-libs/p4est
Scalable Algorithms for Parallel Adaptive Mesh Refinement on Forests of Octrees
sci-libs/pdal
C++ library for translating and manipulating point cloud data
sci-libs/spglib
Spglib is a C library for finding and handling crystal symmetries
sci-libs/symengine
Fast symbolic manipulation library, written in C++
sci-libs/vtk
The Visualization Toolkit
sci-mathematics/gap
System for computational discrete algebra. Core functionality
sci-mathematics/geomview
Interactive Geometry Viewer
sci-mathematics/coq
Proof assistant written in O'Caml
sci-mathematics/cryptominisat
Advanced SAT solver with C++ and command-line interfaces
sci-mathematics/lean
The Lean Theorem Prover
sci-mathematics/manifold
Geometry library for topological robustness
sci-mathematics/opensmt
Compact and open-source SMT-solver written in C++
sci-mathematics/petsc
Portable, Extensible Toolkit for Scientific Computation
sci-mathematics/rkward
IDE for the R-project
sci-mathematics/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
sci-physics/geant
Toolkit for simulation of passage of particles through matter
sci-physics/lhapdf
Les Houches Parton Density Function unified library
sci-physics/root
C++ data analysis framework and interpreter from CERN
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/veusz
Qt scientific plotting package with good Postscript output
sys-apps/attr
Extended attributes tools
sys-apps/bfs
Breadth-first version of the UNIX find command
sys-apps/checkpolicy
SELinux policy compiler
sys-apps/fakeroot
A fake root environment by means of LD_PRELOAD and SysV IPC (or TCP) trickery
sys-apps/netplug
Brings up/down ethernet ports automatically with cable detection
sys-apps/pcmciautils
PCMCIA userspace utilities for Linux
sys-apps/pv
Pipe Viewer: a tool for monitoring the progress of data through a pipe
sys-apps/amdgpu_top
Tool to display AMDGPU usage
sys-apps/asahi-bless
CLI boot disk selector for Apple Silicon Macs
sys-apps/asahi-nvram
Tool to read and write nvram variables on ARM Macs
sys-apps/asahi-startup-disk
Interface to choose the startup volume on Apple Silicon systems
sys-apps/bat
cat(1) clone with syntax highlighting and Git integration
sys-apps/cyme
List system USB buses and devices; a modern cross-platform `lsusb`
sys-apps/dbus
A message bus system, a simple way for applications to talk to each other
sys-apps/fd
Alternative to find that provides sensible defaults for 80% of the use cases
sys-apps/flashrom
Utility for reading, writing, erasing and verifying flash ROM chips
sys-apps/i2c-tools
I2C tools for bus probing, chip dumping, EEPROM decoding, and more
sys-apps/ipmi-fan-control
SuperMicro IPMI fan control daemon
sys-apps/kmscon
KMS/DRM based virtual Console Emulator
sys-apps/pandora_box
Syd's log inspector & profile writer
sys-apps/pkgcraft-tools
pkgcraft-based tools for Gentoo
sys-apps/ripgrep
Search tool that combines the usability of ag with the raw speed of grep
sys-apps/ripgrep-all
Like ripgrep, but also search in PDFs, E-Books, Office documents, archives, etc.
sys-apps/syd
seccomp and landlock based application sandbox with support for namespaces
sys-apps/syd-tui
Syd's Terminal User Interface