37004 packages found. Page 54 of 741.

« First ‹ Previous ... 49 50 51 52 53 54 55 56 57 58 59 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
hets-commons 0.99_1471594578-1 0 0.00 Common files of Hets eugenk
hets-commons-bin 0.99_1471594578-1 0 0.00 Common files of Hets eugenk
hets-desktop 0.99_1471594578-2 0 0.00 A parsing, static analysis and proof management tool incorporating various provers and different specification languages. eugenk
hets-desktop-bin 0.99_1471594578-2 0 0.00 A parsing, static analysis and proof management tool incorporating various provers and different specification languages. eugenk
hets-lib 20141215.ecafeec-2 0 0.00 Basic libraries and other examples for Hets eugenk
hets-server 0.99_1471594578-1 0 0.00 A parsing, static analysis and proof management tool incorporating various provers and different specification languages. eugenk
hets-server-bin 0.99_1471594578-1 0 0.00 A parsing, static analysis and proof management tool incorporating various provers and different specification languages. eugenk
hevcesbrowser 1.0.47.100316-3 0 0.00 a tool for analyzing HEVC (h265) bitstreams mbunkus
hex-unifont 9.0.01-1 0 0.00 GNU Unifont Glyphs, .hex format intelfx
hexedit-advanced-search 1.2.13-3 0 0.00 Hex Editor for Linux with advanced search patch from Volker Schatz Almageste
heyu 2.11_rc2-4 0 0.00 X10 Automation for Linux, Unix, and Mac OS X sputnick
hf-git r121.838e7a6-1 0 0.00 Fuzzy file finder for the command line aksr
hfp 0.5.0-0 0 0.00 Hoerfahrplanprogramm orphan
hfstospell-git 0.4.1.r5.g6d359c0-1 0 0.00 Helsinki Finite-State Transducer Technology (HFST) tools sumt
hftirc-git 0.231.cc986f7-1 0 0.00 Ncurses IRC client. aksr
hget-git r30.03213a9-1 0 0.00 Rocket fast, interruptable, resumable download accelerator written in Golang efournival
hgsreceiver-bin 7.2.3-1 0 0.00 HP remote RGS receiver mostlyharmless
hiawatha-monitor 1.4-5 0 0.00 The Hiawatha Monitor is a monitoring tool for the Hiawatha webserver. It can be used to keep track of the performance and security of all your Hiawatha webservers via one single interface. Wabuo
hibernator 0.1-1 0 0.00 Script to automate setting up hibernation Chrystomus
hid-replay-git 0.7.1.r0.g241710c-1 0 0.00 HID event recorder and utilities. jgerecke
highcommand-git r53.0e8424d-1 0 0.00 getopt() for the future dlom
highly-experimental-git r30.002db85-1 0 0.00 Highly Experimental PS1/PS2 (PSF) emulator library Deewiant
highly-quixotic-git r24.0cf02d8-2 0 0.00 Highly Quixotic Capcom QSound (QSF) emulator library Deewiant
highly-theoretical-git r45.8621996-2 0 0.00 Highly Theoretical Sega Saturn and Dreamcast Sound Format (SSF and DSF) emulator library Deewiant
highmoon 1.2.4-1 0 0.00 HighMoon is an 'Artillery' or 'Worms' like Game - which takes place in the universe yhfudev
hira-git r13.3eb60dc-1 0 0.00 A command to transliterate ASCII to Hiragana. aksr
hitch 1.2.0-1 0 0.00 Hitch is a libev-based high performance SSL/TLS proxy. orphan
hitch-git hitch.1.1.0.r17.9870e07-1 0 0.00 Hitch is a libev-based high performance SSL/TLS proxy. habarnam
hitwh-cscore 1.1-2 0 0.00 Scores checker for undergraduate students in HITwh LackOfDream
hivex-git 1.3.13.r3.gcb6cc65-1 0 0.00 System for extracting the contents of Windows Registry - git checkout kupiakos
hless-bin 0.1.0-2 0 0.00 less with syntax highlighting jokke
hless-git 0.1.0.3.g67fdf24-2 0 0.00 less with syntax highlighting jokke
hmat-oss 1.1.2-1 0 0.00 A hierarchical matrix C/C++ library xantares
hmcfgusb r94.18e63b2-1 0 0.00 An application, which emulates the HomeMatic LAN configuration adapter-protocol der_ronny
hmcl 2.4.1.62-1 0 0.00 Hello Minecraft! Launcher, a powerful Minecraft launcher. hexchain
hmtimer 2.3.1-1 0 0.00 graphical shutdown timer cges30901
hoc 9.2-1 0 0.00 An extended version of the Kernighan & Pike High Order Calculator mmirate
hodlr r131.c69cf44-1 0 0.00 A fast, accurate direct solver and determinant computation for dense linear systems xantares
homegear 0.5.25-2 0 0.00 Interface your HomeMatic BidCoS, HomeMatic Wired, MAX!, INSTEON or Philips hue devices with your home automation software or your own control scripts. mnlipp
homer 4.8-1 0 0.00 Hypergeometric Optimization of Motif EnRichment greyltc
honeybadger-git 0718a8f-1 0 0.00 TCP attack inquisitor and 0-day catcher devices yuvadm
hope-gtk3-theme 1.2-1 0 0.00 A light-and-dark, and dark-and-darker set of themes. Synthead
hopper 3.11.17-1 0 0.00 Hopper disassembler osospeed
horde3d 1.0beta5-1 0 0.00 A lightweight next-generation 3D rendering and animation engine. ducakar
horizon-icehouse 2014.1.3-1 0 0.00 Openstack dashboard erhan
horizon-kilo 2015.1.0-2 0 0.00 Openstack dashboard erhan
horizon-liberty 8.0.0.0b1-1 0 0.00 Openstack dashboard erhan
horseshoes-git 1.0-8 0 0.00 Audio only game of horseshoes. stormdragon2976
hostmux-git 1.1.0.r1.g9de5250-1 0 0.00 A wrapper script for tmux to multiplex commands to ssh hosts rixx
hoststool 1.9.8-1 0 0.00 Hosts tool. maz-1

37004 packages found. Page 54 of 741.

« First ‹ Previous ... 49 50 51 52 53 54 55 56 57 58 59 ... Next › Last »