Search:

sys-fs/fswatch

cross-platform file change monitor with multiple backends

media-libs/cubeb

Cross-platform audio library

dev-racket/begin-with-local

Syntactic sugar around splicing-let

dev-racket/drracket-wakatime

wakatime support on DrRacket

dev-racket/spacemacs-theme

Spacemacs lite and dark color themes for DrRacket.

dev-racket/k-core

core of k theorem prover

dev-racket/k-example

examples of using k theorem prover

dev-racket/k-test

The k-test Racket package

dev-racket/memoize-lib

core library for memoize

dev-racket/memoize-doc

documentation for memoize library

dev-racket/memoize-test

testing code for memoize ... bogus change to refresh checksum?

dev-racket/raco-exe-multitarget

Create standalone binaries for multiple target platforms

dev-python/parfive

A HTTP and FTP parallel file downloader

dev-ruby/redmine_crm

Common libraries for RedmineCRM plugins for Redmine

dev-java/h2o-jetty9-minimal

H2O Jetty 9 Minimal

dev-java/jetty-util-ajax

JSON/Ajax Utility classes for Jetty

dev-haskell/hake

scripty thing

dev-racket/endeavor

((status pre-alpha) (phase design))

dev-racket/k-doc

documentation of k theorem prover

dev-racket/k-lib

libraries of k theorem prover

dev-racket/raco-invoke

The raco-invoke Racket package

dev-racket/umask-lib

Library code portion of the umask collection

dev-haskell/hslua-classes

Type classes for HsLua

dev-haskell/hslua-core

Bindings to Lua, an embeddable scripting language

dev-haskell/hslua-marshalling

Marshalling of values between Haskell and Lua

dev-haskell/hslua-objectorientation

Object orientation tools for HsLua

dev-haskell/hslua-module-version

Lua module to work with version specifiers

dev-haskell/hslua-packaging

Utilities to build Lua modules

dev-haskell/lpeg

LPeg - Parsing Expression Grammars For Lua

dev-haskell/lua

Lua, an embeddable scripting language

dev-haskell/lua-arbitrary

Arbitrary instances for Lua types

dev-haskell/tasty-hslua

Tasty helpers to test HsLua

dev-java/jakarta-xml-soap-api

SOAP with Attachments API for Java (SAAJ) API (Eclipse Project for JAX-WS)

dev-python/rasterio

Fast and direct raster I/O for use with Numpy and SciPy

dev-java/checker-framework-qual

Annotations for type-checking by the Checker Framework

dev-ruby/unix-crypt

Performs the UNIX crypt(3) algorithm

dev-libs/kweathercore

Library for retrieval of weather information including forecasts and alerts

x11-libs/xapp

Cross-desktop libraries and common resources

dev-ruby/rgen

A framework for Model Driven Software Development (MDSD)

dev-util/puppet-strings

Puppet documentation via YARD

dev-haskell/lift-type

Lift a type from a Typeable constraint to a Template Haskell type

dev-racket/binfmt

The binfmt Racket package

dev-racket/binfmt-test

The binfmt-test Racket package

dev-racket/macrokey-lib

MacroKey. Core.

dev-racket/macrokey-doc

MacroKey. Documentation.

dev-racket/portage-admin-doc

A GUI application for inspection of Gentoo-based systems. Documentation.

dev-racket/portage-admin-lib

A GUI application for inspection of Gentoo-based systems. Core.

dev-racket/racket-llvm

racket llvm C-API bindings

dev-racket/scheme-plus-for-racket

The Scheme-PLUS-for-Racket Racket package

dev-racket/umask

umask - set default permissions on unix-like systems