45818 packages found. Page 839 of 917.

« First ‹ Previous ... 834 835 836 837 838 839 840 841 842 843 844 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
iat 0.1.7-4 21 0.17 Detects and converts DVD/CD images from BIN/MDF/PDI/CDI/NRG/B5I to ISO-9660 keenerd
ipmiview 2.13.0-1 21 0.44 Supermicro IPMI tool fryfrog
isabelle 2017-1 21 0.59 A generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. badcasa
iwscanner 0.2.4-4 21 0.03 Wireless scanner with an easy to use graphic interface and using the iwlist tool willemw
java-testng 6.12-1 21 0.05 A testing framework inspired from JUnit and NUnit eolianoe
javafx-scenebuilder-bin 2.0b20-2 21 0.01 Visual layout tool that lets users quickly design Java application user interfaces (Oracle binary version) yaroslav
jetbrains-toolbox 1.6.2914-1 21 3.47 Manage all your JetBrains Projects and Tools frederik
jflap 7.0-4 21 0.00 Software to learning the basic concepts of Formal Languages and Automata Theory robertfoster
jgraphx 3.7.4-1 21 0.05 Open source graph drawing component. MRWITEK
jpilot 1.8.2-2 21 0.00 A desktop organizer application for the Palm Pilot eklausmeier
kcm-wacomtablet-frameworks-git 1:477.5e6729f-1 21 0.23 KDE GUI for the Wacom Linux Drivers (KF5 branch) stativ
kcompletion-git r100.3bff831-2 21 0.00 KCompletion orphan
kconfigwidgets-git r119.e6e1945-1 21 0.00 Widgets for KConfig orphan
kguiaddons-git r54.9625907-1 21 0.00 KGuiAddons orphan
kodi-addon-superrepo-all 0.7.04-3 21 0.04 The world largest XBMC addon repository containing more than 1.300 addons robertfoster
kvirc4-git r7116.2c89201e3-1 21 0.00 Qt5 based IRC-Client, compiled with kde4 support - Git Version el_aur
lastfmproxy 1.3b-5 21 0.00 A proxy server for the last.fm radio streams that allows you to use your regular old audio player to listen to the last.fm streams orphan
latex-mk 2.1-3 21 0.75 tool for managing LaTeX projects haawda
libgcal-git 20111102-1 21 0.00 ANSI C library that does allow communication with google calendar and contacts - Git Version tredaelli
libkscreen-git r1261.90d8ee2-1 21 0.00 KDE screen management software mabl
libnds 1.7.1-1 21 0.18 Library for Nintendo DS homebrew development carstene1ns
linux-selinux 4.14.4-1 21 0.50 The Linux-selinux kernel and modules IooNag
linux-selinux-docs 4.14.4-1 21 0.50 Kernel hackers manual - HTML documentation that comes with the Linux-selinux kernel IooNag
linux-selinux-headers 4.14.4-1 21 0.50 Header files and scripts for building modules for Linux-selinux kernel IooNag
lxdvdrip 1.77-1 21 0.00 Rip/reauthor/burn DVDs ghostlovescore
maia-icon-theme r208-1 21 1.18 Maia icon theme fusion809
maia-wallpaper r208-1 21 1.18 Maia wallpaper fusion809
mamepgui 1.6.0-3 21 0.56 Frontend for SDLMAME/SDLMESS based on MAME Plus! trya
menumaker-compiz 0.99.7-9 21 0.00 Heuristics-driven menu generator for Deskmenu, FluxBox, IceWM, OpenBox, WindowMaker and XFCE. Now with Compiz, MyGTKMenu, urxvt, and roxterm support. ShadowKyogre
mingw-w64-dbus 1.10.22-1 21 0.06 Freedesktop.org message bus system (mingw-w64) Schala
mingw-w64-libpng 1.6.34-1 21 0.14 A collection of routines used to create PNG format graphics (mingw-w64) xantares
moarvm 2017.11-1 21 0.33 Runtime built for the 6model object system. spider-mario
mobac 2.0.0-1 21 0.06 Mobile Atlas Creator (formerly known as TrekBuddy Atlas Creator) is an open source (GPL) program which creates offline atlases for GPS handhelds and cell phone applications like TrekBuddy, AndNav and other Android and WindowsCE based applications. jose1711
moneydance 2017.1639-1 21 0.00 A personal finance manager for Mac, Windows and Linux plague-doctor
mopidy-youtube v2.0.2-1 21 0.29 Mopidy extension for playing music from Youtube joposter
multimon-ng-git 20140331-1 21 0.20 An sdr decoder, supports pocsag, ufsk, clipfsk, afsk, hapn, fsk, dtmf, zvei. keenerd
mythes-pt-br 20100528-4 21 0.05 Portuguese (Brazil) thesaurus dsboger
nlopt 2.4.2-2 21 1.80 nonlinear optimization library xantares
nuntius 0.2.0-2 21 0.18 Nuntius delivers notifications from your phone or tablet to your computer orphan
octave-plot 1.1.0-5 21 0.70 Additional ploting tools for Octave. drizzd
ogg2mp3 0.6.1-4 21 0.09 A Perl script for converting Ogg to MP3 eworm
oomox 1.4.3_1.2.9_20171005-1 21 1.05 Graphical application for generating different color variations of Numix/Materia theme (GTK2, GTK3), gnome-colors and ArchDroid icon themes. Have a hack for HiDPI in gtk2. TCGman
openrct2-git r13153.13f99e495-3 21 2.13 Open source re-implementation of Roller Coaster Tycoon 2 (requires full copy of the game) grahamedgecombe
openshot-bzr 1:2.3.4.r825-1 21 0.06 An open-source, non-linear video editor for Linux based on MLT framework (bzr version) dbermond
openssh-hpn-git 7.5.P1.r74.ga0c37a72-1 21 0.53 A Secure SHell server/client fork with High Performance patches included rtfm3514
oracle-sqldeveloper 17.2.0.188.1159-1 21 0.87 A graphical tool for database development ilikenwf
oyranos 0.9.6-1 21 0.00 A Colour Management System (CMS) on operating system level. robertfoster
pacman-git 5.0.1.84.gad27aa3-1 21 0.07 A library-based package manager with dependency support. git version. falconindy
pantheon-music-git r2949.5385ace5-1 21 0.00 The Pantheon Music Player alucryd
pdfposter 0.6.1dev-1 21 0.02 Print large posters on multiple sheets frederik

45818 packages found. Page 839 of 917.

« First ‹ Previous ... 834 835 836 837 838 839 840 841 842 843 844 ... Next › Last »