Search:

dev-haskell/sbv

SMT Based Verification: Symbolic Haskell theorem prover using SMT solving

dev-embedded/cc65

complete cross development package for 65(C)02 systems

dev-haskell/uuid-types

Type definitions for Universally Unique Identifiers

kde-frameworks/modemmanager-qt

ModemManager bindings for Qt

games-misc/ponysay

cowsay reimplemention for ponies

kde-frameworks/extra-cmake-modules

Extra modules and scripts for CMake

dev-haskell/time-locale-compat

Compatibility of TimeLocale between old-locale and time-1.5

dev-python/livereload

livereload server in Python

dev-ruby/liquid-c

Liquid performance extension in C

dev-haskell/htoml

Parser for TOML files

dev-haskell/tasty-hspec

Hspec support for the Tasty test framework

dev-haskell/regex-applicative

Regex-based parsing with applicative interface

dev-haskell/blank-canvas

HTML5 Canvas Graphics Library

dev-haskell/cracknum

Crack various integer, floating-point data formats

dev-haskell/diagrams-canvas

HTML5 canvas backend for diagrams drawing EDSL

dev-haskell/diagrams-solve

Pure Haskell solver routines used by diagrams

dev-haskell/hashring

Efficient consistent hashing

dev-haskell/kansas-comet

A JavaScript push mechanism based on the comet idiom

dev-haskell/machines

Networked stream transducers

dev-haskell/lucid-svg

DSL for SVG using lucid for HTML

dev-haskell/lucid

Clear to write, read and edit DSL for HTML

dev-libs/liberasurecode

Erasure Code API library written in C with pluggable Erasure Code backends

dev-ruby/nanotest

Extremely mynymal test framework

dev-ruby/unindent

Ruby method to unindent strings

dev-util/cucumber-core

Executable feature scenarios

dev-haskell/quickcheck-safe

Safe reimplementation of QuickCheck's core

kde-apps/akonadi-calendar

Library for akonadi calendar integration

kde-apps/kmailtransport

Mail transport service

media-libs/gsound

Thin GObject wrapper around the libcanberra sound event library

dev-ruby/certificate_authority

Managing the core functions outlined in RFC-3280 for PKI

app-admin/system-config-printer

Graphical user interface for CUPS administration

dev-haskell/psqueues

Pure priority search queues

dev-haskell/geniplate-mirror

Use Template Haskell to generate Uniplate-like functions

dev-haskell/tasty-silver

A fancy test runner, including support for golden tests

dev-ruby/twitter-text

Text handling for Twitter

dev-haskell/sandi

Data encoding library

x11-misc/lemonbar

A featherweight, lemon-scented, bar based on xcb

dev-haskell/base-orphans

Backwards-compatible orphan instances for base

dev-haskell/managed

A monad for managed values

dev-libs/cereal

Header-only C++11 serialization library

dev-ruby/faraday_middleware-multi_json

Response JSON parser using MultiJson and FaradayMiddleware

dev-ruby/semantic_puppet

Library of tools for working with Semantic Versions and module dependencies

dev-haskell/turtle

Shell programming, Haskell-style

dev-ruby/pg_array_parser

Simple library to parse PostgreSQL arrays into a array of strings

dev-python/coloredlogs

Colored stream handler for the logging module

dev-python/humanfriendly

Human friendly output for text interfaces using Python

dev-python/verboselogs

Verbose logging for Python's logging module

dev-ruby/http-form_data

Utility-belt to build form data request bodies

dev-haskell/memory

memory and related abstraction stuff

dev-haskell/cmark

Fast, accurate CommonMark (Markdown) parser and renderer