Search:
Search Results
net-wireless/csdr
a simple DSP library and cli for SDR
net-im/icalingua++-bin
A Linux client for QQ and more (forked branch). Previously called Electron QQ
dev-ml/ppx_import
A syntax extension for importing declarations from interface files
dev-python/sphinx-autoapi
A new approach to API documentation in Sphinx
sci-mathematics/alectryon
Toolkit for literate programming in Coq
sci-mathematics/coq-mathcomp
Mathematical Components for the Coq proof assistant
sci-mathematics/coq-serapi
Serialization library and protocol for interaction with the Coq proof assistant
app-containers/apptainer
The container system for secure high-performance computing
app-containers/catatonit
A container init that is so simple it's effectively brain-dead
app-emulation/proton-ge-custom-bin
A fancy custom distribution of Valves Proton with various patches
app-misc/trezor
Python library and command-line client for Trezor Hardware Wallet
dev-perl/ZMQ-LibZMQ3
A libzmq 3.x wrapper for Perl
app-emacs/company-coq
Collection of extensions for Proof General's Coq mode
app-emacs/company-math
Completion back-ends for for math unicode symbols and latex tags
app-emacs/math-symbol-lists
Lists of Unicode mathematical symbols and latex commands
media-fonts/gofont-mono
Monospace typeface created for the Go programming language
app-misc/timew-report
An interface for Timewarrior report data
sys-kernel/zenpower3
Linux kernel driver for reading sensors of AMD Zen family CPUs
app-emacs/fsharp-mode
Support for the F# programming language
media-plugins/gst-plugins-ldac
LDAC plugin for GStreamer
media-plugins/gst-plugins-openaptx
openaptx plugin for GStreamer
media-plugins/gst-plugins-sbc
SBC encoder and decoder plugin for GStreamer
net-misc/r8125
r8125 vendor driver for Realtek RTL8125 PCI-E NICs
app-emulation/proton-ge-custom-meta
Meta package for proton-ge-custom-bin, make it easier to pull in dependencies
app-emacs/boogie-friends
Emacs tools for interacting with Boogie, Dafny and Z3 (SMT2)
app-emacs/julia-mode
Emacs major mode for the Julia programming language
app-emacs/julia-repl
Run an inferior Julia REPL in a terminal inside Emacs
games-sports/skatebird
Skateboarding game where you play as a bird
media-sound/qpwgraph
A PipeWire Graph Qt GUI Interface
app-text/trim-trailing-spaces
Removes trailing spaces in files
media-gfx/zw3d
CAD/CAM software for 3D design and processing
dev-python/django-pglocks
PostgreSQL locking context managers and functions for Django
dev-python/pytest-random-order
pytest plugin to randomise the order of tests
dev-python/social-auth-app-django
Python Social Auth - Application - Django
dev-util/dive
A tool for exploring each layer in a docker image
dev-ruby/psych
A YAML parser and emitter
dev-ruby/stringio
Pseudo IO class from/to String.
acct-group/goaccess
System group: goaccess
acct-user/goaccess
System user: goaccess
dev-qt/qtwaylandscanner
Tool that generates certain boilerplate C++ code from Wayland protocol xml spec
dev-util/dataspell
Turn data into insights with ease
dev-perl/Search-Sitemap
Perl extension for managing Search Engine Sitemaps
dev-perl/Test-Mock-LWP
Mocks LWP::UserAgent
net-p2p/arti
An implementation of Tor, in Rust.
sec-keys/openpgp-keys-openwall
OpenPGP keys used to sign Openwall software releases
dev-util/myov-academia-meta
Meta package for academic packages
kde-apps/myov-kde-meta
Meta package for KDE packages, custom selection
sys-apps/myov-base-meta
Meta package for basic system packages
app-editors/AppFlowy-bin
AppFlowy is an open-source alternative to Notion
acct-user/pgagent
pgagent program user