67 packages found. Page 2 of 2.

« First ‹ Previous 1 2

Name Version Votes Popularity? Description Maintainer
eclipse-umlet 14.2-1 2 0.00 Simple UML drawing tool (Eclipse plugin version) kaptoxic
eclipse-plantuml 1.1.19-1 1 0.00 PlantUML integration into Eclipse kaptoxic
eclipse-ivyde 2.2.0.final-1 2 0.00 Eclipse plugin which integrates Apache Ivy's dependency management kaptoxic
eclipse-clp 7.0.47-1 3 0.00 Constraint Logic Programming System kaptoxic
drakon-editor 1.29-1 7 0.00 A free cross-platform editor for the DRAKON visual language kaptoxic
ddd 3.3.12-10 9 0.34 A graphical front-end for command-line debuggers such as GDB, JDB, pydb, perl debugger... 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
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
checkstyle-bin 8.5-1 0 0.00 A tool for helping programmers write Java code that adheres to a coding standard kaptoxic
checkstyle 8.19-1 4 0.00 A tool to help programmers write Java code that adheres to a coding standard kaptoxic
biblabel 0.07-2 0 0.00 Generate standardized BibTeX citation labels kaptoxic
atelierb 4.2.1-1 1 0.01 the industrial tool to efficiently deploy the B Method 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