Search: gentoo-sources
Search Results
sci-libs/coinor-dylp
COIN-OR dynamic simplex linear program solver
sci-libs/libexcelformat
reading, writing, and editing of XLS (BIFF8 format) files using C++
sci-libs/lrslib
Reverse-search algorithm for vertex enumeration problems
sci-mathematics/smtinterpol
Interpolating SMT-solver computing Craig interpolants for various theories
sci-mathematics/eclib
Programs for elliptic curves defined over the rational numbers
sci-mathematics/prover9
Automated theorem prover for first-order and equational logic
sci-mathematics/cadabra
Field-theory motivated approach to computer algebra
sci-mathematics/psmt2-frontend
Library to parse and type-check an extension of the SMT-LIB 2 standard
sci-physics/pythia
Lund Monte Carlo high-energy physics event generator
sci-visualization/fig2sxd
Utility to convert files in xfig format to OpenOffice.org Draw format
sci-visualization/pythonprop
Scripts to prepare and plot VOACAP propagation predictions
sys-apps/superdiag
Provides the capability to determine the health of Supermicro servers components
sys-apps/smcipmitool
An out-of-band utility for interfacing with SuperBlade and IPMI devices via CLI
sys-apps/ipmicfg
An in-band utility for configuring Supermicro IPMI devices
sys-apps/nawk
Brian Kernighan's pattern scanning and processing language
sys-apps/asahi-bless
CLI boot disk selector for Apple Silicon Macs
sys-apps/polychromatic
RGB lighting management software for GNU/Linux powered by OpenRazer
sys-block/flashbench
Tool for benchmarking and classifying flash memory drives
sys-boot/tboot
Performs a measured and verified boot using Intel Trusted Execution Technology
sys-cluster/drbd-utils
mirror/replicate block-devices across a network-connection
sys-libs/libchipcard
Library for accessing chip cards via chip card readers (terminals)
sys-process/rtirq
Modify realtime scheduling policy and priority of IRQ handlers
www-apache/mod_auth_openidc
OpenID Connect Relying Party implementation for Apache HTTP Server 2.x
www-apps/tt-rss
Tiny Tiny RSS - A web-based news feed (RSS/Atom) aggregator using AJAX
www-apps/blazeblogger
Simple, capable content management system for producing static content
www-apps/bareos-webui
Featureful client/server network backup suite
www-client/fetch
HTTP download tool built atop the HTTP fetcher library
www-misc/fcgiwrap
Simple FastCGI wrapper for CGI scripts (CGI support for nginx)
x11-libs/xosd
Library for overlaying text in X-Windows X-On-Screen-Display
x11-misc/xflux
Makes the color of your computer's display adapt to the time of the day
x11-misc/dzen
General purpose messaging, notification, and menu utility
x11-misc/fbdesk
fluxbox-util application that creates and manage icons on your Fluxbox desktop
x11-misc/imwheel
mouse tool for advanced features such as wheels and 3+ buttons
x11-misc/simpleswitcher
lightweight EWMH window switcher with features and looks of dmenu
x11-misc/xidle
Monitors inactivity in X and runs the specified program when a timeout occurs
x11-misc/birdtray
A new mail system tray notification icon for Thunderbird
x11-themes/haematite-xcursors
A simple crispy dark-grey xcursor theme
x11-themes/pearlgrey-xcursors
A simple crispy white-grey xcursor theme
x11-themes/gtk-engines-ubuntulooks
A derivative of the standard Clearlooks GTK+ 2.x engine with more orange feel
x11-wm/matwm2
Simple EWMH compatible window manager with titlebars and frames
x11-wm/musca
A simple dynamic window manager, with features nicked from ratpoison and dwm
xfce-base/thunar-volman
Daemon that enforces volume-related policies
xfce-base/garcon
Xfce's freedesktop.org specification compatible menu implementation library
gui-apps/input-leap
Share a mouse and keyboard between computers (fork of Barrier)
gui-libs/libgedit-gtksourceview
Gedit Technology - Source code editing widget
gui-libs/libgedit-tepl
GtkSourceView-based text editors and IDE helper library
acct-group/gamestat
Group for shared high-score and game state files
acct-user/pulse
User for running the PulseAudio daemon as a system-wide instance
dev-debug/dtrace
Dynamic BPF-based system-wide tracing tool
sci-ml/XNNPACK
library of floating-point neural network inference operators