Search:

dev-haskell/liquid-fixpoint

Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

dev-java/protobuf-java

Core Protocol Buffers library

dev-lua/mpack

Lua bindings for libmpack

app-benchmarks/mdtest

an MPI-coordinated metadata benchmark

net-analyzer/hsflowd

Exports physical and virtual server performance metrics using the sFlow protocol

dev-db/gqlplus

a front-end for Oracle program sqlplus with command-line editing

dev-python/imagesize

Pure Python module for getting image size from png/jpeg/jpeg2000/gif files

dev-haskell/cryptohash-sha256

Fast, pure and practical SHA-256 implementation

dev-qt/qtplugininfo

Qt5 plugin metadata dumper

dev-haskell/spdx

SPDX license expression language, Extras

dev-libs/libdrizzle

Snapshot of dev-db/drizzle sources which can be built as shared library

app-eselect/eselect-lilypond-font

Manages lilypond font replacements

media-fonts/lilypond-gonville

Gonville fonts for lilypond

x11-misc/xystray

A simple implementation of freedesktop.org notification area for X

dev-haskell/highlighter

source code highlighting

dev-haskell/couchdb

CouchDB interface

dev-haskell/pseudomacros

cpp-style built-in macros using Template Haskell

dev-haskell/redis

A driver for Redis key-value database

dev-haskell/th-lift-instances

Lift instances for template-haskell for common data types

media-gfx/picture-tube

Render 256 color images on the terminal

media-gfx/imv

Minimal image viewer designed for tiling window manager users

dev-python/yaql

An embeddable and extensible query language

dev-python/terminaltables

Generate simple tables in terminals from a nested list of strings

dev-python/tqdm

Add a progress meter to your loops in a second

x11-plugins/pidgin-gnome-keyring

Integrates Pidgin (and libpurple) with the system keyring

dev-nodejs/supports-color

A package manager for the web

dev-nodejs/escape-string-regexp

A package manager for the web

net-misc/zebedee

A simple, free, secure TCP and UDP tunnel program

dev-python/dominate

Library for creating and manipulating HTML documents using an elegant DOM API

dev-python/flask-debug

Flask extension that displays various debugging insights during development

dev-python/flask-nav

Easily create navigation for Flask applications

dev-python/inflection

A port of Ruby on Rails' inflector to Python

dev-python/visitor

A tiny pythonic visitor implementation

app-admin/yadm

Git based tool for managing dotfiles

dev-python/jaraco-stream

Routines for handling streaming data

dev-python/rst-linker

Sphinx plugin to add links and timestamps to the changelog

dev-util/bats

Bats-core: Bash Automated Testing System

app-admin/doctl

A command line tool for DigitalOcean services

dev-go/gogo-protobuf

Protocol Buffers for Go with Gadgets

dev-haskell/microlens

A tiny lens library with no dependencies

dev-nodejs/minimist

A package manager for the web

dev-nodejs/once

A package manager for the web

dev-nodejs/os-homedir

A package manager for the web

dev-nodejs/util-deprecate

A package manager for the web

dev-nodejs/wrappy

A package manager for the web

media-video/devedeng

DevedeNG is a program to create video DVDs and CDs (VCD, sVCD or CVD)

app-emacs/cycle-buffer

Select buffer by cycling through

app-emacs/revive

Resume Emacs

app-emulation/diskimage-builder

Golden Disk Image builder

dev-java/jts-core

A Java library for creating and manipulating vector geometry