60237 packages found. Page 1175 of 1205.

« First ‹ Previous ... 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
compcert 3.6-1 1 0.02 The formally verified C compiler xuanruiqi
compcert-git 3.6.r1.gf1637021-3 1 0.07 The formally verified C compiler xuanruiqi
llvm37 3.7.1-1 0 0.00 Low Level Virtual Machine (installed into /opt/llvm37) xuanruiqi
massivethreads 0.99-1 0 0.00 A Lightweight Thread Library for High Productivity Languages xuanruiqi
noto-fonts-sc 1:2.001-3 4 0.00 Noto CJK-SC fonts for Simplified Chinese xuanruiqi
ocaml-menhir-compcert 20190924-1 0 0.00 Latest version of Menhir that can build the latest CompCert release. xuanruiqi
shepherd 0.6.1-1 2 0.00 Service manager that looks after the herd. xuanruiqi
smlsharp 3.4.0-1 5 0.00 A new programming language in the Standard ML family xuanruiqi
ssrmint-git r9.26df1b7-2 0 0.00 Ad-hoc pygments style and lexer for LaTeX pretty-printing of SSReflect xuanruiqi
makisu 0.1.11-1 0 0.00 Fast and flexible Docker image building tool, works in unprivileged containerized environments like Mesos and Kubernetes. xuanwo
swagger-codegen 3.0.8-1 4 0.00 Swagger Code Generator xuanwo
tidb 3.0.0-1 0 0.00 A distributed HTAP database compatible with the MySQL protocol xuanwo
tikv 2.1.10-1 0 0.00 Distributed transactional key-value database, originally created to complement TiDB xuanwo
tikv-pd 3.0.0-1 0 0.00 Manage and schedule the TiKV cluster. xuanwo
tiresias-bin 0.1.0-1 0 0.00 A tool to help you access your servers. xuanwo
aragon-cli 6.4.1-1 0 0.00 CLI for creating and publishing Aragon apps xuhcc
beancount-cryptoassets 1.3.0-1 0 0.00 Price sources for Beancount that provide prices for various cryptoassets xuhcc
beancount-exchangerates 2.0.0-1 0 0.00 Price source for Beancount that loads data from http://exchangeratesapi.io/ xuhcc
ledger2beancount 1.8-1 1 0.03 Ledger to Beancount text-based converter xuhcc
perl-safe-hole 0.14-1 0 0.00 make a hole to the original main compartment in the Safe compartment xuhcc
perl-string-interpolate 0.32-1 0 0.00 Wrapper for builtin the Perl interpolation engine. xuhcc
wasabi-wallet-bin 1.1.9.1-1 7 0.09 Privacy focused, ZeroLink compliant Bitcoin wallet xuhcc
dataleech 1.0.5-1 1 0.00 Backup plan using ZFS... xvzf
libattr-aarch64 2.4.47-3 0 0.00 Extended attribute support library for ACL support xvzf
libutil-linux-aarch64 2.30.1-2 0 0.00 Miscellaneous system utilities for Linux xvzf
zlib-aarch64 1.2.11-2 1 0.00 xvzf
fsthost 1.6.2-2 3 0.00 A linux VST host using winelib xxj
abinit 8.10.2-1 3 0.00 Full-featured atomic-scale first-principles simulation software. Xyne
aha-git 0.4.6.1-4 9 0.00 Ansi HTML Adapter: convert ANSI escape sequences to HTML. Xyne
alatools 2018.12-2 1 0.00 Tools for the Arch Linux Archive. Xyne
alsaequal-mgr 2013.7.10-1 19 0.00 Save and restore named alsaequal states. Xyne
arch32-light 2015-1 47 0.00 Lightweight 32-bit chroot intended for 64-bit systems. Xyne
armh 2013.5.22.1-1 20 0.00 Pacman history parser and helper script for the Arch Rollback Machine (ARM). Xyne
autochown 2018-1 5 0.00 Monitor multiple directories using glob patterns and automatically adjust file ownership and permissions. Xyne
avogadro-git 1425272470-1 3 0.00 An advanced molecular editor based on Qt Xyne
bacpac 2014-1 4 0.00 Pacman-independent portable package downloader with dependency resolution. Xyne
bash-statemgr 2018-1 11 0.00 A Bash module for creating generic state/profile managers. Xyne
bauerbill 2019-2 40 0.00 Extension of Powerpill with AUR and ABS support. Xyne
beautify-css 2013-2 2 0.00 A command-line stream parser for beautifying CSS. Xyne
bindfs 1.14.1-1 59 0.17 A FUSE filesystem for mirroring a directory to another directory, similar to 'mount --bind', with permission settings. Xyne
bist-svn 161-1 3 0.00 A chemical drawing tool Xyne
bkchem 0.14.0_pre2-3 28 0.00 Chemical drawing program Xyne
cronwhip 2015-6 23 0.00 Run missed cronjobs. Xyne
cups-client-mgr 2013-1 0 0.00 Save and restore CUPS client states. Xyne
ecryptfs-simple 2017-2 19 0.18 A very simple utility for working with eCryptfs. Xyne
facadefs 2012.12.24.1-2 7 0.00 A FUSE-based filesystem sandbox. Xyne
fehbg-mgr 2013.7.10-1 0 0.00 Save and restore named fehbg states. Xyne
festival-freebsoft-utils 0.10-2 21 0.00 collection of Festival utilities including modules for speech-dispatcher support Xyne
fipolate 2017-1 0 0.00 Interpolate text files with variables through a fifo via user prompts. Xyne
gnupg1 1.4.23-1 38 0.00 GNU Privacy Guard - a PGP replacement tool Xyne

60237 packages found. Page 1175 of 1205.

« First ‹ Previous ... 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 ... Next › Last »