67 packages found. Page 2 of 2.

« First ‹ Previous 1 2

Name Version Votes Popularity? Description Maintainer
covergloobus-bzr 381-1 1 0.00 a standalone application to see what is playing in the your favourite music player kaptoxic
coq-quickchick-git r1085.02c3b09-1 1 0.00 Property-based testing plugin for Coq kaptoxic
clipbored-git r67.2e1a3ec-1 1 0.00 Daemon that collects all content from the X clipboard buffers, use with dmenu kaptoxic
atelierb 4.2.1-1 1 0.01 the industrial tool to efficiently deploy the B Method kaptoxic
alt-ergo 2.2.0-1 1 0.00 SMT solver for software verification kaptoxic
xnap 2.5r3-1 0 0.00 OpenNap Client. kaptoxic
thrift-java 0.9.3-1 0 0.00 Java bindings for Thrift, a scalable cross-language services framework for IPC/RPC kaptoxic
swarm 2.4.1-2 0 0.00 An open source platform for agent-based models kaptoxic
soot 2.5.0-1 0 0.00 A Java Bytecode Analysis and Transformation Framework. kaptoxic
pomodairo 1.9-1 0 0.00 An Adobe Air application for working with the Pomodoro technique kaptoxic
plexydesk-git 20121102-1 0 0.00 A Desktop extension which lets you efficiently use your desktop background. kaptoxic
pidgin-omegle r17-2 0 0.00 A plugin to use the omegle.com service in Pidgin kaptoxic
pidgin-emoticons-trollicons-git 1.0-2 0 0.00 Popular rage faces in Pidgin kaptoxic
jgraph 20131228-1 0 0.00 A filter for plotting graphs in postscript kaptoxic
crossvc 1.5.2-5 0 0.00 A graphical interface for the cvs client kaptoxic
checkstyle-bin 8.5-1 0 0.00 A tool for helping programmers write Java code that adheres to a coding standard kaptoxic
biblabel 0.07-2 0 0.00 Generate standardized BibTeX citation labels kaptoxic

67 packages found. Page 2 of 2.

« First ‹ Previous 1 2