Search:
Search Results
dev-ruby/axiom-types
Define types with optional constraints for use within axiom and other libraries
dev-ruby/ice_nine
Deep Freeze Ruby Objects
net-misc/wsdlpull
C++ web services client library and utilities
games-strategy/colobot
A real-time strategy game, where you can program your bots
dev-inferno/inferno
OS Inferno Fourth Edition
dev-python/sqlparse
A non-validating SQL parser module for Python
dev-python/pyinstaller
Program converting Python programs into stand-alone executables
dev-ruby/equatable
Allows ruby objects to implement equality comparison and inspection methods
dev-ruby/necromancer
Conversion from one object type to another with a bit of black magic
dev-ruby/pastel
Terminal strings styling with intuitive and clean API
dev-ruby/tty-color
Terminal color capabilities detection
dev-ruby/tty-cursor
Move the terminal cursor around and manipulate text using intuitive method calls
dev-ruby/tty-prompt
A beautiful and powerful interactive command line prompt
dev-ruby/tty-screen
Terminal screen size detection which works on Linux, OS X and Windows/Cygwin
dev-ruby/wisper
A micro library providing objects with Publish-Subscribe capabilities
net-libs/libtorrent-rasterbar
C++ BitTorrent implementation focusing on efficiency and scalability
dev-ruby/dm-serializer
DataMapper plugin for serializing Resources and Collections
dev-ruby/dm-timestamps
DataMapper plugin for writing and specing migrations
dev-ruby/dm-validations
DataMapper plugin for writing and specing migrations
dev-vcs/git-lfs
Command line extension and specification for managing large files with git
dev-python/pythonqt
A dynamic Python binding for the Qt framework
dev-tex/pythontex
Fast Access to Python from within LaTeX
sci-astronomy/montage
Toolkit for assembling FITS images into mosaics
sci-libs/p4est
Scalable Algorithms for Parallel Adaptive Mesh Refinement on Forests of Octrees
sci-libs/superlu_mt
Multithreaded sparse LU factorization library
sci-libs/clblas
Library containing BLAS routines for OpenCL
sci-libs/symengine
Fast symbolic manipulation library, written in C++
dev-ruby/excon
EXtended http(s) CONnections
app-misc/khard
Console CardDAV client
sci-geosciences/gpsman
A graphical GPS data manager that supports several devices.
dev-java/jetty-alpn-api
Administrative parent pom for Jetty modules
dev-java/jetty-npn-api
Administrative parent pom for Jetty modules
dev-java/netty-tcnative
A Mavenized fork of Tomcat Native which incorporates various patches. This artifact is dynamically linked to OpenSSL and Apache APR.
dev-ruby/backticks
Captures stdout, stderr and (optionally) stdin; uses PTY to avoid buffering
dev-haskell/webdriver
a Haskell client for the Selenium WebDriver protocol
dev-haskell/intern
Efficient hash-consing for arbitrary data types
dev-haskell/fgl-visualize
Convert FGL graphs to dot (graphviz) files
dev-haskell/daemons
Daemons in Haskell made fun and easy
dev-haskell/liquidhaskell
Liquid Types for Haskell
dev-haskell/located-base
Location-aware variants of partial functions
dev-haskell/liquid-fixpoint
Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
dev-java/protobuf-java
Core Protocol Buffers library
dev-haskell/cryptohash-sha256
Fast, pure and practical SHA-256 implementation
dev-haskell/spdx
SPDX license expression language, Extras
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
dev-python/uranium
A Python framework for building 3D printing related applications