68097 packages found. Page 1231 of 1362.

« First ‹ Previous ... 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
hets-server 0.99_1484075143-1 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-desktop-bin 0.99_1484075143-1 0 0.00 A parsing, static analysis and proof management tool incorporating various provers and different specification languages. eugenk
hets-desktop 0.99_1484075143-1 0 0.00 A parsing, static analysis and proof management tool incorporating various provers and different specification languages. eugenk
hets-commons-bin 0.99_1484075143-1 0 0.00 Common files of Hets eugenk
hets-commons 0.99_1484075143-1 0 0.00 Common files of Hets eugenk
hessenbox-da 11.5.625-1 0 0.00 is a software to sync, share, backup, and access files. diluex
heroes-evolved 1-0 0 0.00 Heroes Evolved is the new micro-client MOBA from R2 Games. (Wine) Perberos
hero 0.0.2-5 0 0.00 A handy, fast and powerful go template engine ragouel
hermetic-git 20150624-1 0 0.00 a python-like language with hindley-milner-like type system, which is compiled to c keenerd
hermes 1.8-1 0 0.00 Authenticate on linux by plugging your USB stick! ralt
herdtools7-git r744.6192a9b-1 0 0.00 The Herd toolsuite to deal with .cat memory models Teknoman117
herder-cpusim-git 1.0.3.r2.g4bfc9b2-1 0 0.00 Pseudo Assembly/CPU-Simulator for educational purposes - QT-Version LeonardK
herald 0.1.1-1 0 0.00 Simple systemd Journal-to-XMPP bridge quartic
hentaiathome-gui 1.6.0-1 0 0.00 an open-source Peer-2-Peer gallery distribution system which reduces the load on the E-Hentai Galleries orphan
hentaiathome-cli 1.6.0-1 0 0.00 an open-source Peer-2-Peer gallery distribution system which reduces the load on the E-Hentai Galleries orphan
henplus 0.9.8.1676541-2 0 0.00 SQL shell written in Java DaTa
heluxup 1.0.2-1 0 0.00 heluxup makes it easy to upgrade HelmRelease objects in a flux control respository. ekeih
help2man-git 1.47.13.r0.gfbec3d0-1 0 0.00 Tool for generating manual pages from program output Chocobo1
helmsman-git 1.8.1.r8.gbe24069-1 0 0.00 Helmsman upstream txomon
helmsman-bin 3.1.0-1 0 0.00 Helmsman binary distribution txomon
helm-docs 0.13.0-1 0 0.00 A tool for automatically generating markdown documentation for helm charts eyenx
hell-git r106.bac1099-1 0 0.00 The Hell build system gilzoide
helios-solo 0.1.0-1 0 0.00 Spotify Helios Solo - Docker container orchestration platform in a container dflemstr
heliocron-git 0.4.0.r4.g89ae185-1 0 0.00 Execute tasks relative to sunset, sunrise and other solar events. andreafeletto
heliocron-bin 0.4.0-2 0 0.00 Execute tasks relative to sunset, sunrise and other solar events. andreafeletto
heka-git r1-1 0 0.00 Data collection and processing made easy nfnty
heirloom-ex-vi-git 4.1.3.r41.d47dc5a-1 0 0.00 The traditional Vi aksr
heir-git r5.4697214-1 0 0.00 Utility to launch new terminals in the same working directory as the currently focused one under Sway. thestr4ng3r
heimer 1.18.0-1 0 0.00 A simple cross-platform mind map, diagram, and note-taking tool written in Qt ragouel
heimdallr-git v1.1.r0.g5986f20-1 0 0.00 finding public ssh keys with ease aiyion
heifthumbnailer 1.0-1 0 0.00 KIO HEIF thumbnailer zzag
hedit-bin 0.1-1 0 0.00 A VIM-like terminal-based hex editor scriptable with JS. 95ulisse
hecate-git r122.b2580b1-2 0 0.00 The Hex Editor from Hell KingofToasters
heca 1.5.0-1 0 0.00 Hebrew calendar utility pickedname
hebcal 4.21-1 0 0.00 A Jewish calendar generator snakeroot
heavybullets-hib 1.05-1 0 0.00 A randomized FPS dungeon crawler where players make their way through a colorful maze, while protecting themselves from aggressive creatures and malfunctioning security devices. (Humble Bundle Version) hero
heasoft-nodata 6.27.2-1 0 0.00 NASA high energy astrophysics library, without xspec model data monson
hearthlauncher-git 0.058.r0.gf972f3c-1 0 0.00 Minecraft launcher and modpack installer TheGoliath
heartbleedscanner-git r15.7ecb1e3-1 0 0.00 OpenSSL Heartbleed (CVE-2014-0160) vulnerability scanner, data miner and RSA key-restore tools. gehaxelt
headset 3.2.1-1 0 0.00 Discover and collect music on YouTube yochananmarqos
headroom 0.3.0.0-1 0 0.00 Manager for license headers in source code files geyaeb
headphones-plug-detector-git r15.e4c83d0-1 0 0.00 Pauses media when headphones get plugged out and plays it when they get plugged in f1u77y
headmaster-git 0.28.r15.g96c3387-2 0 0.00 translate c header files to another language Earnest
hdx-realtime-media-engine-sap 2.2.100-1 0 0.00 Plug-In for Citrix Receiver to support clear, crisp high-definition audio-video calls, particularly with Microsoft Skype® for Business. This version is for access.sap.com compatibility. killermoehre
hdtv-git r1020.39d70a5-1 0 0.00 Nuclear spectrum analysis tool on top of the ROOT data analysis toolkit op3
hdrview-git 269.8436cf9-3 0 0.00 HDRView is a simple research-oriented high-dynamic range image viewer with an emphasis on examining and comparing images, and including minimalistic tonemapping capabilities afnan
hdrmerge-git nightly.r70.gcb42a8b-1 0 0.00 HDRMerge fuses two or more raw images into a single raw with an extended dynamic range. alex.forencich
hdl-dump-git 0.9.2-1 0 0.00 PlayStation 2 HDLoader image dump/install utility daren
hdfview-git r346.d6a3bf6-3 0 0.00 a GUI browser for reading hdf5 files from dev git repo greyltc

68097 packages found. Page 1231 of 1362.

« First ‹ Previous ... 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 ... Next › Last »