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
|
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
|
atelierb |
4.2.1-1 |
1 |
0.00 |
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.00 |
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.00 |
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-umlet |
14.2-1 |
2 |
0.00 |
Simple UML drawing tool (Eclipse plugin version) |
kaptoxic
|
gnome-shell-tracker-search-provider-git |
r26.da08e64-1 |
2 |
0.00 |
Gnome-shell extension for displaying tracker search results in the shell overview |
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.48-1 |
3 |
0.00 |
Constraint Logic Programming System |
kaptoxic
|
liboil |
0.3.17-3 |
3 |
0.00 |
Liboil is a library of simple functions that are optimized for various CPUs. |
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
|
vim-gnome |
8.1.0022-1 |
4 |
0.00 |
Vi Improved, a highly configurable, improved version of the vi text editor (with Gnome GUI) |
kaptoxic
|
checkstyle |
8.41.1-1 |
5 |
0.28 |
A tool to help programmers write Java code that adheres to a coding standard |
kaptoxic
|
linuxdcpp |
1.1.0-8 |
6 |
0.50 |
A Gtk+ Direct Connect client based on DC++. |
kaptoxic
|
yofrankie |
1.1-5 |
6 |
0.00 |
A 3D platform game based on the bully rodent in Big Buck Bunny |
kaptoxic
|
z3-bin |
4.5.0-2 |
6 |
0.00 |
An automatic high-performance theorem prover |
kaptoxic
|
drakon-editor |
1.29-1 |
7 |
0.00 |
A free cross-platform editor for the DRAKON visual language |
kaptoxic
|