Search:
Search Results
sec-policy/selinux-usbguard
SELinux policy for usbguard
dev-util/hoogle
Haskell API Search
dev-util/shake
Build system library, like Make, but more accurate dependencies
acct-group/hoogle
A group for dev-util/hoogle
acct-user/hoogle
A user for dev-util/hoogle
dev-util/res2cs
An utility to generate .cs from .resx
dev-ada/e3-core
Ease the development of portable automated build systems
perl-core/CPAN
Query, download and build perl modules from CPAN sites
dev-python/csscompressor
A python port of YUI CSS Compressor
net-print/lexmark-upd-ppd
Lexmark universal printer driver PPDs
dev-libs/libptytty
A library for mostly OS-independent handling of pty/tty/utmp/wtmp/lastlog
dev-python/cyclonedx-python-lib
Python library for generating CycloneDX SBOMs
dev-python/policyuniverse
Parse and Process AWS IAM Policies, Statements, ARNs
dev-python/packageurl
Python implementation of the package url spec
dev-lang/arc
New dialect of Lisp, works well for web applications
dev-lang/clipsjni
Tool for building Expert Systems (Java version)
sci-mathematics/lean
The Lean Theorem Prover
sci-mathematics/metamath
Proof verifier based on a minimalistic formalism
sci-astronomy/openastro
Open Astro Project
sys-apps/racket-maints
Racket Maintenance Scripts
net-vpn/ivpn-ui-bin
IVPN Desktop app GUI - binary because of npm and Electron difficulties
dev-ada/e3-testsuite
Generic testsuite framework in Python
dev-python/jupyter-server-proxy
Jupyter notebook server extension to proxy web services
dev-python/simpervisor
Simple Python3 Supervisor library
sci-misc/jupyterlab-desktop-bin
JupyterLab desktop application, based on Electron
sys-apps/hwdata
Hardware identification and configuration data
app-editors/helix
A post-modern text editor
dev-python/pyliblo
Python bindings for the liblo OSC library
gui-wm/gamescope
Gamescope
media-sound/catnip-gtk
catnip gtk frontend
media-sound/catnip
terminal audio visualizer
media-sound/volctl
Per-application volume control and OSD for Linux desktops.
media-gfx/vr-video-player
A vr video player playing stereoscopic videos. Also works for games.
app-admin/salt-lint
salt-lint checks Salt State files (SLS)
dev-scheme/akku
Language package manager for Scheme
dev-racket/advent-of-code
Package for fetching Advent of Code input.
dev-racket/commonmark
Fast, CommonMark-compliant Markdown parser
dev-racket/commonmark-doc
The commonmark-doc Racket package
dev-racket/commonmark-lib
The commonmark-lib Racket package
dev-racket/package-backward-compatibility-checker
check backward compatibility of changes to Racket and/or base packages
dev-racket/pipechain
The pipechain Racket package
dev-racket/qi-doc
A general-purpose functional DSL. [docs only]
dev-racket/qi-lib
A general-purpose functional DSL. [implementation only]
dev-racket/qi-test
A general-purpose functional DSL. [tests only]
dev-racket/uni-table
Unicode tables rendering with ECMA-48 Select Graphic Rendition codes support
dev-racket/yijing
Chinese Yijing Icons.
gui-apps/bemenu
dmenu clone for wayland
sci-libs/hipFFT
CU / ROCM agnostic hip FFT implementation
media-video/jellyfin-web-jmp-bin
Modified Jellyfin Web Client for use inside Jellyfin Media Player
x11-base/xorg-sgml-doctools
SGML entities and XML/CSS stylesheets used in X.Org docs