Search: gentoo-sources
Search Results
app-emacs/company-coq
Collection of extensions for Proof General's Coq mode
sys-kernel/zenpower3
Linux kernel driver for reading sensors of AMD Zen family CPUs
dev-python/watchfiles
Simple, modern file watching and code reload in Python
dev-libs/FXdiv
Division via fixed-point multiplication by inverse
x11-terms/wezterm-bin
A terminal emulator and multiplexer implemented in Rust
dev-libs/pthreadpool
Portable and efficient thread pool implementation
media-libs/mesa-amber
OpenGL-like graphic library for Linux
app-emacs/commenter
Set both single and multi line comment variables in Emacs Lisp
sci-libs/NNPACK
acceleration package for neural network computations
media-gfx/zwcad
CAD software for 2D drawing, reviewing and printing work
net-libs/libqrtr-glib
Qualcomm IPC Router protocol helper library
dev-lang/eisl
Interpreter and compiler compatible with the ISLisp standard
app-emacs/string-inflection
Convert symbol names between different naming conventions
gui-wm/hyprland
A dynamic tiling Wayland compositor that doesn't sacrifice on its looks
virtual/developer-python
Tools needed for developing in gentoo
dev-python/mido
MIDI Objects, a library for working with MIDI messages and ports
media-gfx/unityhub
The official unity tool for manager Unity Engines and projects
dev-python/rustworkx
A high performance Python graph library implemented in Rust
sys-devel/reflex
This is a variant of the flex fast lexical scanner
dev-ml/coq-menhirlib
A support library for verified Coq parsers produced by Menhir
xfce-base/libxfce4windowing
Unified widget and session management libs for Xfce
sci-mathematics/btor2tools
Generic parser and tools for the BTOR2 format
games-emulation/jgrf
The Jolly Good Reference Frontend
app-emacs/denote
Simple notes for Emacs with an efficient file-naming scheme
app-emacs/gptel
Simple Large Language Model chat client for GNU Emacs
net-misc/trurl
Command line tool for URL parsing and manipulation
www-misc/logswan
Fast Web log analyzer using probabilistic data structures
app-emulation/virtiofsd
Shared file system for virtual machines
sci-libs/gklib
Helper routines and frameworks used by KarypisLab software
dev-python/nextinspace
A command-line tool for seeing the latest in space
dev-java/cache2k-api
light weight and high performance Java caching library: API
dev-java/jbcrypt
Java implementation of OpenBSD's Blowfish password hashing code
dev-java/jsonrpc2-base
Represent, parse and serialise JSON-RPC 2.0 messages
dev-java/zxing-javase
Core barcode encoding/decoding library
dev-perl/iCal-Parser
Parse iCalendar files into a data structure
dev-python/sphinxcontrib-log-cabinet
Organize changelog directives in Sphinx docs
net-vpn/ovpn-dco
OpenVPN Data Channel Offload in the linux kernel
dev-perl/Crypt-Password
Unix-style, Variously Hashed Passwords
net-proxy/lyrebird
An obfuscating proxy supporting Tor's pluggable transport protocol obfs4
dev-python/pytest-datafiles
Create a 'tmp_path' containing predefined files/directories
media-libs/glewmx
OpenGL Extension Wrangler MX
sci-mathematics/proverif
Cryptographic protocol verifier in the formal model
dev-libs/libpsl-native
Functionality missing from .NET Core via system calls
sci-libs/modular_decomposition
This is an implementation of a modular decomposition algorithm.
sci-mathematics/surface-dynamics
This sagemath package adds various functionality
media-plugins/sisco-lv2
Simple LV2 audio oscilloscope
sys-apps/rt-tests
Programs to test various rt-linux features.
net-misc/sunshine
Self-hosted game stream host for Moonlight
dev-python/sphinxygen
Python module/script that generates Sphinx markup to describe a C API
x11-wm/hypr
A dynamic Linux tiling window manager for Xorg