command-line jukebox

plait

command-line jukebox

Plait (pronounced "play") is a command-line jukebox and music player front end. It understands brief, easy to type queries that pick a single song, mix queries that combine works from multiple artists, stream queries that find Shoutcast radio streams, and everything in between.
SAT solver with proof and core support

picosat

SAT solver with proof and core support

Despite the NP completeness of the satisfiabilty problem of Boolean formulas (SAT), SAT solvers are often able to decide this problem in a reasonable time frame. As all other NP complete problems are reducible to SAT, the solvers have become a general purpose tool for this class of problems.
extension of GTK+ libraries (demo binary)

granite-demo

extension of GTK+ libraries (demo binary)

Granite is an extension of GTK+. Among other things, it provides complex widgets and convenience functions designed for use in apps built for elementary OS.
web interface for the hledger accounting tool

hledger-web

web interface for the hledger accounting tool

hledger is a haskell port and friendly fork of John Wiegley's ledger accounting tool. This package provides a web interface as an alternative to the hledger command line interface.
FTP daemon providing access to 1-Wire networks

owftpd

FTP daemon providing access to 1-Wire networks

The 1-Wire bus is a cheap low-speed bus for devices like weather sensors, access control, etc. It can be attached to your system via serial, USB, I2C, and other interfaces.
Racket Programming Environment (transitional package)

plt-scheme

Racket Programming Environment (transitional package)

Racket (previously PLT Scheme) is an innovative programming language that builds on a rich academic and practical tradition.