66 packages found. Page 1 of 2.

1 2 Next › Last »

Name Version Votes Popularity? Description Maintainer
biblabel 0.07-2 0 0.00 Generate standardized BibTeX citation labels kaptoxic
checkstyle-bin 8.5-1 0 0.00 A tool for helping programmers write Java code that adheres to a coding standard kaptoxic
crossvc 1.5.2-5 0 0.00 A graphical interface for the cvs client kaptoxic
jgraph 20131228-1 0 0.00 A filter for plotting graphs in postscript 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
soot 2.5.0-1 0 0.00 A Java Bytecode Analysis and Transformation Framework. kaptoxic
swarm 2.4.1-2 0 0.00 An open source platform for agent-based models kaptoxic
thrift-java 0.9.3-1 0 0.00 Java bindings for Thrift, a scalable cross-language services framework for IPC/RPC kaptoxic
xnap 2.5r3-1 0 0.00 OpenNap Client. kaptoxic
alt-ergo 2.2.0-1 1 0.00 SMT solver for software verification kaptoxic
atelierb 4.2.1-1 1 0.16 the industrial tool to efficiently deploy the B Method kaptoxic
clipbored-git r67.2e1a3ec-1 1 0.00 Daemon that collects all content from the X clipboard buffers, use with dmenu kaptoxic
coq-quickchick-git r1085.02c3b09-1 1 0.04 Property-based testing plugin for Coq kaptoxic
covergloobus-bzr 381-1 1 0.00 a standalone application to see what is playing in the your favourite music player kaptoxic
eclipse-plantuml 1.1.19-1 1 0.00 PlantUML integration into Eclipse 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
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.00 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
pidgin-musictracker-mpris2 0.4.22-7 1 0.00 A plugin for Pidgin which displays the music track currently playing. kaptoxic
proofgeneral-git r8647.2626ed5-1 1 0.00 Generic interface for proof assistants kaptoxic
rubrica 2.0.12-1 1 0.05 An address book manager for the GNOME desktop kaptoxic
sifu 0.3.3-1 1 0.00 Rapid software development tool made for creating cloud solutions. kaptoxic
sketchsynth 1.6.9-1 1 0.00 A software synthesis tool for developing implementations from sketches kaptoxic
smu 1.4-1 1 0.00 A simplified markdown dialect and interpreter kaptoxic
tboi-wotl 1.48-2 1 0.00 The Binding of Isaac + Wrath of the Lamb expansion - Humble Indie Bundle version kaptoxic
teyjus 2.1-1 1 0.00 An efficient implementation of the higher-order logic programming language Lambda Prolog kaptoxic
torchat2-libpurple-git 480.aab4643-1 1 0.00 Libpurple plugin for Torchat v2 - an IM client built on top of TOR kaptoxic
why3-git 0.72.r3740.g406e7f0-2 1 0.00 The next generation of the former software verification platform Why kaptoxic
apache-ant-maven-tasks 2.1.3-4 2 0.00 Maven Ant Tasks kaptoxic
eclipse-ivyde 2.2.0.final-1 2 0.00 Eclipse plugin which integrates Apache Ivy's dependency management kaptoxic
eclipse-umlet 14.2-1 2 0.00 Simple UML drawing tool (Eclipse plugin version) kaptoxic
lierolibre 0.5-1 2 0.00 Completely free Liero fork kaptoxic
mathpartir 1.3.1-2 2 0.00 LaTeX package for typesetting type inference rules kaptoxic
ott 0.25-1 2 0.00 Ott, a tool for writing definitions of programming languages and calculi kaptoxic
purple-gammu 0.3.1-1 2 0.00 Purple Gammu, an SMS protocol for libpurple clients (pidgin) kaptoxic
covergloobus 1.6-2 3 0.00 A standalone application to see what is playing in your favourite music player kaptoxic
eclipse-clp 7.0.45-1 3 0.00 Constraint Logic Programming System kaptoxic
gnome-shell-tracker-search-provider-git r26.da08e64-1 3 0.00 Gnome-shell extension for displaying tracker search results in the shell overview kaptoxic
pfds-guile-git 20130202-1 3 0.00 Purely Functional Data Structures in Scheme. Installs the files for use with Guile. kaptoxic
purple-mattermost-git v1.1.r0.g30cfb74-1 3 0.00 A purple-based (Pidgin) plugin for Mattermost. kaptoxic
rodin 3.3-1 3 0.00 Tool for cost effective rigorous development of dependable software systems kaptoxic
scala-ide 4.7.0-3 3 0.00 Scala IDE, the official IDE, stand-alone Eclipse-based version kaptoxic
checkstyle 8.15-1 4 0.00 A tool to help programmers write Java code that adheres to a coding standard kaptoxic
vim-gnome 8.1.0022-1 4 0.18 Vi Improved, a highly configurable, improved version of the vi text editor (with Gnome GUI) kaptoxic
linuxdcpp 1.1.0-8 5 0.12 A Gtk+ Direct Connect client based on DC++. kaptoxic
ruby-svn2git-git 1:232.526df23-1 6 0.00 Tool written in ruby to convert svn repos to git(git version). kaptoxic

66 packages found. Page 1 of 2.

1 2 Next › Last »