67 packages found. Page 2 of 2.

« First ‹ Previous 1 2

Name Version Votes Popularity? Description Maintainer
ott 0.25-1 2 0.00 Ott, a tool for writing definitions of programming languages and calculi kaptoxic
mathpartir 1.3.1-2 2 0.00 LaTeX package for typesetting type inference rules kaptoxic
lierolibre 0.5-1 2 0.00 Completely free Liero fork kaptoxic
jgraph 20131228-1 0 0.00 A filter for plotting graphs in postscript kaptoxic
honpurple-git 0.6-1 1 0.00 libpurple plugin for the Heroes of Newerth chat server kaptoxic
gphotoframe-git 1.5.r158.gcc27a65-2 1 0.00 A photo frame gadget for the GNOME Desktop kaptoxic
gphotoframe 2.0.2-1 1 0.00 Photo frame gadget for the GNOME Desktop kaptoxic
gnome-quod 0.2.3-2 1 0.00 The object of the game is to outmaneuver your opponent and be the first to outline a square, called a quod, by capturing its four corners with your colored attacking pieces. kaptoxic
eclipse-umlet 14.2-1 2 0.00 Simple UML drawing tool (Eclipse plugin version) kaptoxic
eclipse-clp 7.0.47-1 3 0.00 Constraint Logic Programming System kaptoxic
crossvc 1.5.2-5 0 0.00 A graphical interface for the cvs client kaptoxic
covergloobus-bzr 381-1 1 0.00 a standalone application to see what is playing in the your favourite music player kaptoxic
covergloobus 1.6-2 3 0.00 A standalone application to see what is playing in your favourite music player 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
apache-ant-maven-tasks 2.1.3-4 2 0.00 Maven Ant Tasks kaptoxic
alt-ergo 2.2.0-1 1 0.00 SMT solver for software verification kaptoxic

67 packages found. Page 2 of 2.

« First ‹ Previous 1 2