| hexa-git |
289-1 |
1 |
0.04 |
Hexa is a programming language in an early stage of development |
expwez
|
| hex2bin |
20161122-1 |
1 |
0.00 |
Hex to binary converter. |
Sasasu
|
| hex-unifont |
11.0.02-1 |
18 |
0.00 |
A free bitmap font with wide Unicode support (hex version) |
felix.s
|
| hex-tcg |
1.1.0.011-1 |
1 |
0.00 |
Unofficial build for Hex: Shards of Fate, a digital card game |
shinnova
|
| hex-git |
r22.233a69e-1 |
0 |
0.00 |
Hex viewer |
p.janouch
|
| hex |
0.1.2-1 |
0 |
0.00 |
Futuristic take on hexdump |
Svenstaro
|
| hevcesbrowser |
1.0.47.100316-4 |
0 |
0.00 |
a tool for analyzing HEVC (h265) bitstreams |
mbunkus
|
| hets-server-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-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
|
| hessling-editor-das |
3.3RC1-2 |
1 |
0.00 |
A powerful text editor modelled on the VM/CMS text editor XEDIT with the best features of Mansfield Software's Kedit. |
aksr
|
| herwig |
7.1.0-1 |
1 |
0.00 |
Herwig is a multi-purpose particle physics event generator. |
cbpark
|
| herrie-git |
20170505-1 |
2 |
0.00 |
A minimal music player. |
aksr
|
| herrie |
2.2-4 |
27 |
0.00 |
Minimalistic music player for the command line |
boenki
|
| herokuish |
0.4.6-1 |
6 |
0.03 |
Utility for emulating Heroku build and runtime tasks in containers |
ayr-ton
|
| heroku-toolbelt |
3.43.9-1 |
166 |
0.02 |
Everything you need to get started using Heroku |
WhyNotHugo
|
| heroku-cli-nightly |
6.14.20.737bba7-1 |
2 |
0.01 |
a tool for creating and managing Heroku apps from the command line |
ad1217
|
| heroku-cli |
7.21.0-1 |
35 |
0.47 |
a tool for creating and managing Heroku apps from the command line |
Redrield
|
| heroes-evolved |
1-0 |
0 |
0.00 |
Heroes Evolved is the new micro-client MOBA from R2 Games. (Wine) |
Perberos
|
| heroes |
0.21-1 |
0 |
0.00 |
Heroes is similar to the Tron and Nibbles games of yore, but includes many graphical improvements and new game features. |
stilvoid
|
| 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
|
| heretic2 |
1.06c-1 |
1 |
0.00 |
Heretic 2 from Raven Software, Linux version by Loki. Update PKGBUILD with path to CD for the data files. |
zanny
|
| heretic1-wad |
1.2-1 |
10 |
0.24 |
The Heretic shareware IWAD (game data) |
grubber
|
| here-and-there-along-the-echo |
1-2 |
1 |
0.00 |
Here And There Along The Echo - Kentucky Route Zero |
dcelasun
|
| 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
|
| herbstluftwm-git |
1:0.7.0.r53.g23ae16a-1 |
31 |
0.01 |
Manual tiling window manager for X |
bidulock
|
| herald |
0.1.1-1 |
0 |
0.00 |
Simple systemd Journal-to-XMPP bridge |
quartic
|
| hepmc |
2.06.09-2 |
3 |
0.19 |
A particle physics package for storing collision events from Monte Carlo generators. |
fsiegert
|
| henplus |
0.9.8.1676541-2 |
0 |
0.00 |
SQL shell written in Java |
DaTa
|
| hengband-git |
v2.1.4.r375.ga393fd11-1 |
2 |
0.00 |
A variant of angband |
yantene
|
| helpdeco |
2.1.4-1 |
4 |
0.00 |
Decompiler for WinHelp (.hlp) files |
simon04
|
| helmsman-git |
v1.4.0.rc.r0.d7d3aa8-1 |
0 |
0.00 |
Helmsman upstream |
txomon
|
| helmsman-bin |
1.6.2-1 |
0 |
0.00 |
Helmsman binary distribution |
txomon
|
| helm-vst |
0.9.0-1 |
0 |
0.00 |
a cross-platform, polyphonic synthesizer VST plugin |
orphan
|
| helm-system-packages-git |
2017.12.28.ga91e7ac-1 |
1 |
0.00 |
A Helm interface to your package manager |
Ambrevar
|
| helm-git |
0.9.0.r1897.abdedd52-1 |
13 |
0.15 |
a cross-platform, polyphonic synthesizer LV2 and VST plugin |
SpotlightKid
|
| hellspider |
1.0-2 |
5 |
0.00 |
Overhead physics shmup with an evolving enemy. |
keenerd
|
| hello_wolrd_cpp_pkgbuild |
r2.ba4f8df-1 |
1 |
0.28 |
Hello World C++ PKGBUILD |
linarcx
|
| hello |
2.10-1 |
3 |
0.00 |
Prints Hello World and more |
leo
|
| hellcat-git |
r45.8873f05-1 |
3 |
0.00 |
netcat that takes unfair advantage of traffic shaping systems that don't initially ratelimit |
prurigro
|
| hellband |
0.8.7-4 |
1 |
0.12 |
Dante's Inferno Angband. Uses a 'realm' based magic system like Zangband, but with many new features. |
keenerd
|
| hellanzb-git |
9999-7 |
6 |
0.00 |
nzb downloader and post processor |
sputnick
|
| hell-git |
r106.bac1099-1 |
0 |
0.00 |
The Hell build system |
gilzoide
|
| heliwm |
1.13-2 |
1 |
0.00 |
Highly Essential Light Itsy-bitsy Window Manager. |
aksr
|