Warning: file_exists(): open_basedir restriction in effect. File(/srv/http/vhosts/aur.archlinux.org/public/web/locale//en/LC_MESSAGES/aurweb.mo) is not within the allowed path(s): (/srv/http/vhosts/aur-dev.archlinux.org/:/etc/aurweb/) in /srv/http/vhosts/aur-dev.archlinux.org/public/web/lib/streams.php on line 90
AUR (en) - Search Criteria: kaptoxic

59 packages found. Page 1 of 2.

1 2 Next › Last »

Name Version Votes Popularity? Description Maintainer
alloy 4.2.5-1 17 0.00 A lightweight modelling language for software design. kaptoxic
apache-ant-maven-tasks 2.1.3-4 1 0.00 Maven Ant Tasks kaptoxic
atelierb 4.2.1-1 0 0.00 the industrial tool to efficiently deploy the B Method 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
buddy 2.4-2 0 0.00 Binary Decision Diagram Library kaptoxic
checkstyle 7.2-1 2 0.05 A tool to help programmers write Java code that adheres to a coding standard kaptoxic
covergloobus 1.6-2 1 0.00 A standalone application to see what is playing in your favourite music player kaptoxic
covergloobus-bzr 381-1 0 0.00 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
cvassistant 2.0.0-2 0 0.00 CV Assistant helps you create specialized resumes in Word .docx format fast and easy. kaptoxic
drakon-editor 1.27-1 3 0.09 A free cross-platform editor for the DRAKON visual language kaptoxic
eclipse-clp 6.1.220-2 1 0.17 Constraint Logic Programming System kaptoxic
flow-pomodoro 1.1.1-1 6 0.46 A sticky task manager and pomodoro that blocks distractions. 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 11 0.51 A time management utility for GNOME based on the pomodoro technique kaptoxic
gnome-shell-tracker-search-provider-git r26.da08e64-1 1 0.00 Gnome-shell extension for displaying tracker search results in the shell overview kaptoxic
gphotoframe 2.0.3-1 1 0.03 Gnome Photo Frame is a photo frame gadget for the GNOME Desktop. kaptoxic
gphotoframe-git 1.5.r158.gcc27a65-2 0 0.00 A photo frame gadget for the GNOME Desktop kaptoxic
hon 3.9.5-2 8 0.37 Heroes of Newerth is a Real Time Strategy game heavily influcenced by DotA 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
kodos 2.4.9-1 0 0.00 A Python regular expression debugger kaptoxic
libjson 0.8-1 2 0.01 libjson is a small C library and small codebase that packs an efficient parser and a configurable printer kaptoxic
lierolibre 0.5-1 0 0.00 Completely free Liero fork kaptoxic
mathpartir 1.3.1-2 2 0.00 LaTeX package for typesetting type inference rules kaptoxic
maude 2.6-2 2 0.09 High-level Specification Language. kaptoxic
ott 0.25-1 1 0.00 Ott, a tool for writing definitions of programming languages and calculi kaptoxic
pfds-guile-git 20130202-1 2 0.00 Purely Functional Data Structures in Scheme. Installs the files for use with Guile. kaptoxic
photoprint 0.4.2rc2-7 0 0.00 PhotoPrint is a utility designed to assist in the process of printing digital photographs under Linux and other UNIX-like operating systems. 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 1 0.00 Purple Gammu, an SMS protocol for libpurple clients (pidgin) kaptoxic
rainlendar-pro 2.13.1-1 4 0.02 A desktop Calendar, ToDo list and Event list kaptoxic
rodin 3.2-1 1 0.00 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 2 0.18 Tool written in ruby to convert svn repos to git(git version). kaptoxic
scala-ide 4.5.0-1 1 0.36 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.24 Rapid software development tool made for creating cloud solutions. kaptoxic
sketchsynth 1.6.9-1 1 0.01 A software synthesis tool for developing implementations from sketches kaptoxic
smu 1.4-1 1 0.00 A simplified markdown dialect and interpreter 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
swfdec 0.8.4-3 9 0.54 Free library for decoding and rendering Flash animations kaptoxic
tboi-wotl 1.48-2 0 0.00 The Binding of Isaac + Wrath of the Lamb expansion - Humble Indie Bundle version kaptoxic
teyjus 2.1-1 1 0.01 An efficient implementation of the higher-order logic programming language Lambda Prolog kaptoxic

59 packages found. Page 1 of 2.

1 2 Next › Last »