59499 packages found. Page 768 of 1190.

« First ‹ Previous ... 763 764 765 766 767 768 769 770 771 772 773 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
spacewar 0.1-2 7 0.00 PDP-1 SpaceWar! Game ewaller
probability b55e508d94e6-3 0 0.00 Probability Machine Simulator ewaller
hpgcc 2.0_sp2-3 5 0.00 gcc C Compiler for HP 48,49,50 Calculators ewaller
hpfall-git r5.be24a8b-2 6 0.02 Disk protection for HP machines. ewaller
dup.py 1.0.r3.g2b6b18c-6 1 0.00 Duplicate File manager with multimedia geolocation metadata extensions ewaller
minergate-cli 8.2-1 6 0.00 Cryptocurrency miner and Mining Pool (console version) evrea
encryptpad-git 0.4.0.2.r2.g55fd374-1 1 0.00 Minimalist secure text editor and binary encryptor that implements RFC 4880 Open PGP format evpo
encryptpad 0.4.0.4-7 5 0.00 Minimalist secure text editor and file encryptor that implements RFC 4880 Open PGP format evpo
slowmovideo-git 20190211-1 35 0.39 Video slow motion effect via interpolation evorster
movit-git r765.dd74f9c-2 2 0.00 The modern video toolkit evorster
kdenlive-testing-git 19.03.70.r10665.4fc2f242e-1 0 0.00 A non-linear video editor. Following the refactoring timeline branch in git. evorster
kdenlive-release-git 19.07.80.r11438.08e457dea-1 0 0.00 A non-linear video editor. Following latest released branch in git. evorster
kdenlive-git 19.04.0.r11019.960a505e4-1 62 0.00 A non-linear video editor for Linux using the MLT video framework. KF5 Frameworks (Latest Applications GIT Version) evorster
ls-icons v8.27+48+gc5f26413b-1 0 0.00 A fork of coreutils with a modified ls that print icons evilzer
icons-in-terminal r93.b12286d-3 1 0.00 Icon fonts in terminal without a need for replacing or patching existing evilzer
apache-aurora 0.17.0-3 0 0.00 Aurora scheduler for mesos evilezh
x4daemon 0.4.4-1 5 0.00 A daemon that makes it possible to use all special keys on your Sidewinder X4 keyboard. Evilandi666
lunzip 1.11-1 2 0.00 For extracting and viewing files in .lzip archives evil-god
python-telegram-bot-git 1:12.2.0.r0.98147fce-1 2 0.00 A Python wrapper around the Telegram Bot API evgfilim1
python-aiogram 2.3-1 1 0.30 A pretty simple and fully asynchronous library for Telegram Bot API written in Python 3.7 with asyncio and aiohttp evgfilim1
wiibafu 1.2-1 1 0.02 Fork of Wii Backup Fusion fixing the bug with game spliting. The complete and simple to use backup solution for your Wii games evertonstz
xgrep 0.08-1 0 0.00 grep-like utility for XML files evert
setcolors-git 62.4e1686f-1 24 1.48 Allows you to set the linux VT101 default color palette EvanPurkhiser
python-httpie-oauth 5.6cf6ed4-2 1 0.00 OAuth plugin for httpie EvanPurkhiser
oggfwd-bzr r13-1 1 0.00 Pipes an ogg stream to an icecast server EvanPurkhiser
oggfwd 0.2-3 15 0.00 Pipes an ogg stream to an icecast server EvanPurkhiser
mutagen-git 1479.b15f1f4-1 0 0.00 An audio metadata tag reader and writer, mercurial version EvanPurkhiser
mkinitcpio-colors-git 9.5264b13-1 20 0.58 mkinitcpio hook to set VT console colors during early userspace EvanPurkhiser
libkeyfinder-git 239.0a5ec7f-1 5 0.49 Musical key detection for digital audio. EvanPurkhiser
keyfinder-cli-git 40.91ec8bb-1 1 0.51 A DJ friendly tool for estimating the musical key of an audio file EvanPurkhiser
dots-manager 1.0.0-1 3 0.00 A portable tool for managing a single set of dotfiles in an organized fashion EvanPurkhiser
algorithms-library-gui-git 0.0.0.r515.gc4bc905a4-1 0 0.00 Theoretical computer science datastructures and algorithms implementation. The library provides graphical and console interface similar to bash with many classical algorithms manipulating automata, grammars, regular expressions, trees and strings. evandar
algorithms-library-git 0.0.0.r515.gc4bc905a4-1 0 0.00 Theoretical computer science datastructures and algorithms implementation. The library provides graphical and console interface similar to bash with many classical algorithms manipulating automata, grammars, regular expressions, trees and strings. evandar
xkeyboard-config-chromebook 2.24-1 6 0.00 X keyboard configuration files evana
microchip-mplabc18-bin 3.40-2 3 0.00 C compiler for PIC18 MCUs evana
authbind 2.1.2-1 20 0.00 Allows non-root programs to bind() to low TCP ports (0-1023) evana
autovala 1.1.0-1 1 0.00 eumario
spass 3.9-1 1 0.00 An Automated Theorem Prover for First-Order Logic with Equality. eugenk
pellet 20150814.bb99c19-2 1 0.00 Pellet is an OWL 2 reasoner in Java eugenk
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
darwin 1.4.5-2 0 0.00 The darwin prover suite. http://combination.cs.uiowa.edu/Darwin/ eugenk
mpd-lightest 0.21.7-3 1 0.04 "Lightest" mpd version with everything disabled. Modify PKGBUILD and enable the features and flags you need eugene2k
libblockdev-lean 2.23-3 2 0.09 Lean version of libblockdev without any of the plugins eugene2k
xcursor-chromeos latest-1 4 0.00 The cursors from Chrome OS eugene

59499 packages found. Page 768 of 1190.

« First ‹ Previous ... 763 764 765 766 767 768 769 770 771 772 773 ... Next › Last »