Search:
Search Results
dev-haskell/smtlib
A library for working with the SMTLIB format
dev-haskell/presburger
A decision procedure for quantifier-free linear arithmetic
dev-haskell/equivalence
Maintaining an equivalence relation implemented as union-find using STT
dev-ruby/actionview
Simple, battle-tested conventions and helpers for building web pages
net-dns/dnscap
Network capture utility designed specifically for DNS traffic
dev-haskell/tga
Reading and writing of tga image files
net-firewall/fwknop
Single Packet Authorization and Port Knocking application
dev-python/rtslib-fb
A Python object API for managing the Linux LIO kernel target
gnome-extra/cinnamon-menus
Cinnamon's library for the Desktop Menu fd.o specification
dev-lang/cryptol
Cryptol: The Language of Cryptography
x11-misc/urxvt-font-size
Perl extension for rxvt-unicode to change the font size on the fly
dev-haskell/bytedump
Flexible byte dump helpers for human readers
dev-java/headius-options
Sonatype helps open source projects to set up Maven repositories on https://oss.sonatype.org/
dev-haskell/hourglass
simple performant time related library
dev-perl/Archive-Extract
Generic archive extracting mechanism
app-i18n/tagainijisho
Open-source Japanese dictionary and kanji lookup tool
dev-ruby/nio4r
A high performance selector API for monitoring IO objects
gnome-extra/cjs
Linux Mint's fork of gjs for Cinnamon
dev-perl/JSON-MaybeXS
Use Cpanel::JSON::XS with a fallback to JSON::XS and JSON::PP
dev-haskell/data-lens-light
Simple lenses, minimum dependencies
dev-haskell/monad-unify
Generic first-order unification
dev-haskell/pattern-arrows
Arrows for Pretty Printing
dev-ruby/ae
Assertive Expressive is an assertions library designed for reuse
dev-ruby/brass
BRASS is a very basic assertions framework for Ruby
dev-ruby/hashery
The Hashery is a tight collection of Hash-like classes
dev-ruby/lemon
Lemon is a unit testing framework
dev-ruby/qed
QED (Quality Ensured Demonstrations) is a TDD/BDD framework
dev-ruby/rubytest
Ruby Test is a universal test harness for Ruby
dev-ruby/rubytest-cli
Rubytest CLI is a command-line interface for Rubytest
app-arch/xarchiver
A GTK+ archive manager that can be used with Thunar
sci-chemistry/propka
pKa-value prediction of ionizable groups in protein and protein-ligand complexes
lxqt-base/liblxqt
Common base library for the LXQt desktop environment
lxqt-base/libsysstat
Qt GUI for System Statistics
lxqt-base/lxqt-about
LXQt about dialog
lxqt-base/lxqt-config
LXQt system configuration control center
lxqt-base/lxqt-meta
Meta ebuild for LXQt, the Lightweight Desktop Environment
lxqt-base/lxqt-globalkeys
Daemon and library for global keyboard shortcuts registration
lxqt-base/lxqt-notificationd
LXQt notification daemon and library
lxqt-base/lxqt-panel
LXQt desktop panel and plugins
lxqt-base/lxqt-policykit
LXQt PolKit authentication agent
lxqt-base/lxqt-powermanagement
LXQt daemon for power management and auto-suspend
lxqt-base/lxqt-qtplugin
LXQt system integration plugin for Qt
lxqt-base/lxqt-runner
LXQt quick launcher
lxqt-base/lxqt-session
LXQt Session Manager
media-gfx/lximage-qt
Qt Image Viewer
x11-misc/obconf-qt
Qt GUI Openbox Configuration Tool
dev-python/pymysql
Pure-Python MySQL Driver
dev-haskell/control-monad-free
Free monads and monad transformers
dev-haskell/language-glsl
GLSL abstract syntax tree, parser, and pretty-printer
dev-haskell/temporary-rc
Portable temporary file and directory support for Windows and Unix