430 packages found. Page 1 of 9.

1 2 3 4 5 6 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
aimtux-git v1.0.r703.g9e7c759-1 0 0.00 Open source internal multi-hack for Counter-Strike: Global Offensive jingjinghack
alt-ergo 2.3.0-2 1 0.00 SMT solver for software verification orphan
amtterm 1.6-1 7 0.00 Tools to connect to Intel AMT enabled machines via Serial-Over-LAN larchunix
amttool-tng 1.7.3-1 3 0.00 Utility to manage Intel AMT-aware devices (fork of Gerd Hoffmann's AMTTOOL) larchunix
animtext 1.0-4 0 0.00 an SDL based utility to generate text animations in the style of old DOS prompts jose1711
apertium-en-ca 0.9.3-2 1 0.00 Apertium language data for the English-Catalan (including Valencian) translator. unhammer
apertium-nno-nob 1.1.0-1 1 0.00 Apertium language data for the Norwegian Nynorsk-Norwegian Bokmål translator. unhammer
asmtools 7.0_b06-1 0 0.00 The AsmTools open source project is used to develop tools for the production of proper and improper Java '.class' files. tsachev
asmtools-hg r26.edbdc1bf3211-2 0 0.00 The AsmTools open source project is used to develop tools for the production of proper and improper Java '.class' files. tsachev
asmttpd 0.4.4-1 1 0.00 Web server written in Assembly kendfinger
bamtools 2.5.1-1 3 0.00 C++ API & command-line toolkit for working with BAM data mys_721tx
bamtools-git 20110606-1 1 0.00 API and toolkit for reading, writing, and manipulating BAM (genome alignment) files. benwbooth
beegfs-mgmtd 7.1.3-1 0 0.00 Distributed, fault-tolerant cluster storage platfom formally known as FhGFS NLisa
binfmt-wasm 20190907-1 0 0.00 Register wasmtime interpreter for wasm format dariost
binfmt_aout 4.0-2 0 0.00 binfmt_aout kernel module, for running an a.out binary format SebRmv
boogie-git 0.r5030.8448ac1c-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 joojoo
boolector-git r10285.6fce0ac3-1 0 0.00 A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions deian
boolector-java 3.2.5-1 0 0.00 Java bindings for the Boolector SMT solver abdullin.am
ch341eepromtool 0.5-3 6 0.00 An i2c serial EEPROM programming tool for the WCH CH341A hybroid
charmtimetracker 1.12.0-2 2 0.00 tsdgeos
chasquid 1.4-1 0 0.00 SMTP (email) server with a focus on simplicity, security, and ease of operation foxcpp
check-pacman-mtree 0.8-3 3 0.00 pacman db mtree check size/md5/sha256/symlink 999cgm
chemtool-proper 1.6.14-1 3 0.00 Chemtool without the stupid right justified help menu ConnorBehan
clamsmtp 1.10-4 0 0.00 SMTP filter that allows you to check for viruses using the ClamAV anti-virus software. thorko
clamtk-mate 0.02.01-3 0 0.00 A simple plugin to allow a right-click, context menu scan of files or folders in MATE Desktop. orphan
cmtp-responder-git r244.a10d015c37-1 0 0.00 Media Transfer Protocol daemon (responder) written in C, with minimal dependencies 1ace
cmuclmtk 0.7-1 11 0.00 Language model tools for CMU Sphinx orphan
cmuclmtk-svn r12596-1 0 0.00 Language model tools for CMU Sphinx (svn version) benob
comtrol-lcom 1.06-1 0 0.00 open multiple serial ports or TCP/IP connections and exercise them in different ways severach
comtrol-rocketport-express-infinity 2.18-1 0 0.00 kernel module driver for Comtrol RocketPort Express Infinity Rocketmodem serial RS-232 422 485 port severach
comtrol-rocketport-upci 4.07-1 0 0.00 kernel module driver for Comtrol RocketPort PCI Plus Universal uPCI CPCI Rocketmodem serial RS-232 422 port severach
conky-mt 1.11.5-3 0 0.00 Lightweight system monitor for X akorop
courier-mta 1.0.14-1 11 0.00 IMAP(s)/POP3(s) and SMTP Server with ML-manager, webmail and webconfig vario
cvc4-git 1.6.r709.g219bc5991-1 2 0.00 An automatic theorem prover for SMT problems. spaceships
dcmtk-git 3.6.1_20170228.43.gef9173b95-1 0 0.00 Collection of libraries and applications implementing large parts the DICOM standard pmattern
dfmt-git 0.5.0.r4.ea72aa5-2 4 0.00 Dfmt is a formatter for D source code Wild
digsighost 2.0.98.0-1 0 0.00 This application is intended for all users of software solutions, which use Comtrade DigSig component for digital signing of documents. zurajm
docx2tex 1.5-1 0 0.00 Converts Microsoft Word docx to LaTeX ragouel
domterm-git 2.1.r94.g40e9b1b-1 1 0.00 Terminal emulator capable of display html and images from command output SolarAquarion
eclipse-rtmtools 1.0.0-1 1 0.00 OpenRTM-aist tools to manipulate RT components in real-time using a graphical interface Sandmann
email 3.1.3-2 0 0.00 A simple command line client for SMTP mgisbers
erlang-gen_smtp 0.13.0-1 0 0.00 A generic Erlang SMTP server/client framework zhustec
etmtk-git r1148.d971c97-3 1 0.00 Manage events and tasks using simple text files. stef204
femto-emacs-git 2016.08.27.dcde8d2-1 1 0.00 Tiny emacs clone with configuring in FemtoLisp keenerd
femtomail-git r10.e278dfc-1 0 0.00 Minimal sendmail replacement for forwarding mail to a single Maildir box CyberShadow
firmtool-git r28.0d54877-1 2 0.00 A tool to parse, extract, and build 3DS firmware files gmes78
fmtools 2.0.7-1 3 0.00 A pair of simple command-line utilities for v4l2 radio tuner cards ThecaTTony
gmtp-gtk2 1.3.10-2 0 0.00 A simple MP3 player client for MTP based devices (gtk2 version) Joel
gmtrn-cli 0.2.0-1 0 0.00 Simple CLI client for http://multitran.ru zaza
gnomad2 2.9.6-3 69 0.00 GTK client program for the NOMAD Jukebox with MTP support jorge_barroso

430 packages found. Page 1 of 9.

1 2 3 4 5 6 ... Next › Last »