| 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.02 |
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.01 |
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.01 |
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.47-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.4-2 |
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.19-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.02 |
Vi Improved, a highly configurable, improved version of the vi text editor (with Gnome GUI) |
kaptoxic
|
| linuxdcpp |
1.1.0-8 |
5 |
0.02 |
A Gtk+ Direct Connect client based on DC++. |
kaptoxic
|
| rainlendar-pro |
2.14.2-2 |
6 |
0.01 |
A desktop Calendar, ToDo list and Event list |
kaptoxic
|