67 packages found. Page 1 of 2.

1 2 Next › Last »

Name Version Votes Popularity? Description Maintainer
alloy 4.2.5-1 19 0.07 A lightweight modelling language for software design. kaptoxic
apache-ant-maven-tasks 2.1.3-4 2 0.01 Maven Ant Tasks kaptoxic
atelierb 4.2.1-1 0 0.00 the industrial tool to efficiently deploy the B Method kaptoxic
barman 2.2-1 0 0.00 Backup and recovery manager for PostgreSQL kaptoxic
battlejump 0.12.0-9 0 0.00 Arcade game inspired by Monster Farm Jump. kaptoxic
biblabel 0.07-2 0 0.00 Generate standardized BibTeX citation labels kaptoxic
checkstyle 8.2-1 4 0.02 A tool to help programmers write Java code that adheres to a coding standard kaptoxic
checkstyle-bin 8.2-1 0 0.00 A tool for helping programmers write Java code that adheres to a coding standard kaptoxic
coq-quickchick-git r1085.02c3b09-1 0 0.00 Property-based testing plugin for Coq kaptoxic
covergloobus 1.6-2 3 0.03 A standalone application to see what is playing in your favourite music player kaptoxic
covergloobus-bzr 381-1 1 0.01 a standalone application to see what is playing in the your favourite music player kaptoxic
crossvc 1.5.2-5 0 0.00 A graphical interface for the cvs client kaptoxic
drakon-editor 1.27-1 4 0.04 A free cross-platform editor for the DRAKON visual language kaptoxic
eclipse-clp 6.1.228-1 3 0.02 Constraint Logic Programming System kaptoxic
eclipse-plantuml 1.1.19-1 1 0.70 PlantUML integration into Eclipse kaptoxic
eclipse-umlet 14.2-1 2 0.01 Simple UML drawing tool (Eclipse plugin version) kaptoxic
eiskaltdcpp-core 2.2.10-3 9 0.00 EiskaltDC++ Core kaptoxic
eiskaltdcpp-daemon 2.2.10-3 9 0.00 EiskaltDC++ Daemon kaptoxic
eiskaltdcpp-data 2.2.10-3 9 0.00 EiskaltDC++ Data files kaptoxic
eiskaltdcpp-gtk 2.2.10-3 9 0.00 EiskaltDC++: Gtk2-based DC and ADC client based on dcpp core kaptoxic
eiskaltdcpp-qt 2.2.10-3 9 0.00 EiskaltDC++: Qt4-based DC and ADC client based on dcpp core kaptoxic
flow-pomodoro 1.2.0-4 9 0.12 A pomodoro app that blocks distractions while you work. 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
gnome-shell-pomodoro-git r912.bbb932f-1 14 0.06 A time management utility for GNOME based on the pomodoro technique kaptoxic
gnome-shell-tracker-search-provider-git r26.da08e64-1 2 0.24 Gnome-shell extension for displaying tracker search results in the shell overview kaptoxic
gphotoframe 2.0.2-1 1 0.00 Photo frame gadget for the GNOME Desktop kaptoxic
gphotoframe-git 1.5.r158.gcc27a65-2 1 0.13 A photo frame gadget for the GNOME Desktop kaptoxic
honpurple-git 0.6-1 1 0.00 libpurple plugin for the Heroes of Newerth chat server kaptoxic
jgraph 20131228-1 0 0.00 A filter for plotting graphs in postscript kaptoxic
libjson 0.8-1 2 0.00 libjson is a small C library and small codebase that packs an efficient parser and a configurable printer kaptoxic
lierolibre 0.5-1 2 0.13 Completely free Liero fork kaptoxic
mathpartir 1.3.1-2 2 0.00 LaTeX package for typesetting type inference rules kaptoxic
nautilus-hide 0.2.1-1 6 0.01 Extension for Nautilus to hide files without renaming them kaptoxic
ott 0.25-1 2 0.07 Ott, a tool for writing definitions of programming languages and calculi kaptoxic
pfds-guile-git 20130202-1 3 0.03 Purely Functional Data Structures in Scheme. Installs the files for use with Guile. kaptoxic
photoprint 0.4.2rc2-8 2 0.05 A gtk-utility designed to assist printing of digital photographs with PDF-preview, adjustable page size, multiple images per page and optional border styles. kaptoxic
pidgin-emoticons-trollicons-git 1.0-2 0 0.00 Popular rage faces in Pidgin kaptoxic
pidgin-omegle r17-2 0 0.00 A plugin to use the omegle.com service in Pidgin kaptoxic
plexydesk-git 20121102-1 0 0.00 A Desktop extension which lets you efficiently use your desktop background. kaptoxic
pomodairo 1.9-1 0 0.00 An Adobe Air application for working with the Pomodoro technique kaptoxic
proofgeneral-git r8647.2626ed5-1 1 0.00 Generic interface for proof assistants kaptoxic
purple-gammu 0.3.1-1 2 0.26 Purple Gammu, an SMS protocol for libpurple clients (pidgin) kaptoxic
purple-mattermost-git v1.1.r0.g30cfb74-1 3 0.95 A purple-based (Pidgin) plugin for Mattermost. kaptoxic
rainlendar-pro 2.13.1-1 5 0.01 A desktop Calendar, ToDo list and Event list kaptoxic
rodin 3.3-1 2 0.05 Tool for cost effective rigorous development of dependable software systems kaptoxic
rubrica 2.0.12-1 0 0.00 An address book manager for the GNOME desktop kaptoxic
ruby-svn2git-git 1:232.526df23-1 5 0.13 Tool written in ruby to convert svn repos to git(git version). kaptoxic
scala-ide 4.7.0-1 1 0.00 Scala IDE for Eclipse, stand-alone version kaptoxic
setlx 2.4.0-1 0 0.00 Interpreter for the SetlX programming language kaptoxic
sifu 0.3.3-1 1 0.00 Rapid software development tool made for creating cloud solutions. kaptoxic

67 packages found. Page 1 of 2.

1 2 Next › Last »