140 packages found. Page 1 of 3.

1 2 3 Next › Last »

Name Version Votes Popularity? Description Maintainer
arpage 0.3.3-8 12 0.00 JACK MIDI arpeggiator with transport and tempo sync lee
ats2-postiats 0.2.12-1 8 0.18 Statically typed programming language marsam
atvrec 1.2.2-1 0 0.00 Command line TV recorder for Austrian TV stations ORF, ATV, Puls4, ServusTV Mediathek and ORF, ServusTV livestreams HerbertKnapp
audi-git 0.1.167.ff0740e-1 0 0.00 Implementation of an automated differentiation system using generalized dual numbers (i.e. truncated Taylor expansions). neXyon
autorandr-git r244.9b1ef49-1 55 3.02 Auto-detect the connect display hardware and load the appropiate X11 setup using xrandr. Formerly autodisper. No disper support. edgard
ayr 1.6.7-2 3 0.00 Manages menus of application launchers, either executables or desktop files. Also opens files and URLs with launchers, desktop files, or applications associated by name or mimetype. ninian
blis 0.2.0-1 0 0.00 BLAS-like Library Instantiation Software framework by the Science of High-Performance Computing Group orphan
boogie-git 0.r4273.bad6c01-1 2 0.00 Boogie is an Intermediate Verification Language (IVL) for describing proof obligations to be discharged by a reasoning engine, typically an SMT solver fhahn
booktab 1.7-1 0 0.00 MyZanichelli - La piattaforma che ti permette di consultare tutti i tuoi libri scolastici in versione multimediale e interattiva. max.bra
bubbleupnpserver 0.9.16-1 5 0.75 Stream content to Android devices over the Internet – requires UPNP/DNLA backend e.g. Mediatomb DaveB
casadi 3.0.1-1 3 0.06 Symbolic framework for automatic differentiation and numeric optimization bchretien
cgns 3.3.0-2 29 0.00 Standard for recording and recovering computer data associated with the numerical solution of fluid dynamics equations eolianoe
ckan-git 1.18.0.r5.g0ab70f4-1 7 0.60 A metadata repository and associated tools for searching, installing, and managing mods for Kerbal Space Program (KSP) disastro
dhtfs 0.3.0-3 4 0.00 Tagging based filesystem, providing dynamic directory hierarchies based on tags associated with files TrialnError
eci-icc 2009-3 4 0.04 ICC profiles from ECI (European Color Initiative) with documentation jgmdev
emacs-else-git 2014_02_14-3 1 0.00 Emacs Language Sensitive Editor -- minor mode to use language specific abbreviations haawda
emmet-vim-git r817.920904c-1 4 0.01 A vim plug-in which expands abbreviations, similar to emmet. sigint
fairyspec-git 20140505-1 1 0.00 Flexible Analysis of IRradiation Yields orphan
ffc-git 20160405-1 3 0.00 A compiler for finite element variational forms. myles
fiat-git 20161027-1 3 0.00 Supports generation of arbitrary order instances of the Lagrange elements on lines, triangles, and tetrahedra. myles
firrtl-git r610.83a3dc1-1 0 0.00 Flexible Intermediate Representation for RTL sebo
flatplat-theme-laptop 3.22.20161109-1 1 0.75 Laptop variation of Flat-Plat, a Material Design-like flat theme for GTK3, GTK2, Metacity, and GNOME-Shell. This package does not contain chrome skin extension. cth451
foliatools-git 1-2 0 0.00 Tools for working with the FoLiA format, based on libfolia. *NOT* the same as Python package FoLiA-tools! orphan
gfsm 0.0.15.1-1 3 0.00 A weighted finite state transducer (WFST) library and associated command line tools. benob
gi 0.1.1-1 0 0.00 Git wrapper to perform Mercurial-like short unique abbreviation searching for commands gagarski
gimp-plugin-toy 1.0.4-2 12 0.00 GIMP plug-in that creates a toy effect or tilt-shift miniature faking on a selected layer unhammer
gnome-defaults-list 3.22.1-1 105 1.08 default file associations for GNOME environment ItachiSan
golden-cheetah-git V3.4.r34.18f4606-1 9 3.18 Cycling Power Analysis Software. We believe that cyclists and triathletes should be able to download their power data to the computer of their choice, analyze it in whatever way they see fit, and share their methods of analysis with others. maxammann
grail 3.1.1-1 52 1.29 Gesture Recognition And Instantiation Library niQo
gtk-theme-arc-red 20160626-2 1 0.10 A red variation of Horst3180's Arc Theme. A flat theme with transparent elements for GTK 3, GTK 2 and Gnome-Shell (supported until version 3.20). figue
gtk-theme-espresso 0.1-1 1 0.01 Espresso is a new theme based on Macchiato 0.3. UnCO
gtk-theme-numix-sx 20160617-3 9 0.68 Gray variation of numix theme for Cinnamon/Gnome FillFeile
gtk2-theme-dust-extras 0.5.1-2 72 0.00 Sand/Burnt/Bordered variations of Dust orphan
havm-git 0.27-1 0 0.00 HAVM is a Tree intermediate language interpreter. qwazerty
hciattach-rpi3 5.38-1 3 0.88 Huulivoide
iat 0.1.7-4 18 1.24 Detects and converts DVD/CD images from BIN/MDF/PDI/CDI/NRG/B5I to ISO-9660 keenerd
irvm 0.0.3-1 0 0.00 virtual machine for Andrew W. Appel's tree intermediate representation oneeyed
irvm-git 0.0.3.r2.g559e6c3-1 0 0.00 A Virtual Machine for Andrew W. Appel's Tree Intermediate Representation. aksr
ja2-stracciatella-git 8188.a517757-1 5 0.03 Jagged Alliance 2 Stracciatella project with a goal of improving JA2 stativ
librs 3.1.0-1 0 0.00 Real root isolation for univariate polynomials and systems of polynomial equations akobel
macchiato-git 20151123-1 1 0.00 MAC spoofing with a restricted range of OUI prefixes Mikos
max-control 0.4.2-1 0 0.00 Controls home automation with max! eq3 system Teyro
mcrl2 201409.1-2 2 0.22 A formal specification language with an associated toolset. iikoe
mediathek 12-3 136 1.30 Offers access to the Mediathek of different german tv stations (ARD, ZDF, Arte, etc.) boenki
mediatomb 0.12.1-13 129 1.59 Free UPnP/DLNA media server orphan
mediatomb-git 7ab7616-1 2 0.52 Free UPnP/DLNA media server mediatomb sleduc
mediatomb-samsung-tv 0.12.1-12 6 0.41 Free UPnP/DLNA media server with Samsung TV compatibility sleduc
mediator 0.1.2-1 1 0.00 Save the world by being a mediator ensuring that no conflict gets escalated. dos1
mediterraneannight-theme 2.03-2 12 1.19 A gtk3, gtk2, metacity, xfwm4 and unity theme (variation of 'Adwaita cupertino'). Manouchehri
mencal 3.0-1 3 0.00 A simple variation of the well-known unix command cal, with periodically repeating days highlighted in color Dragonlord

140 packages found. Page 1 of 3.

1 2 3 Next › Last »