60190 packages found. Page 1152 of 1204.

« First ‹ Previous ... 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
testlib r125.5eb7c9c-1 1 0.00 A library used to write the auxiliary programs (validators, generators, and so on) for programming contest problems. wil93
tilde 1.0.0-1 7 0.35 An intuitive text editor for the terminal. wil93
autosubst 1.6-1 1 0.00 Automation for de Bruijn syntax and substition in Coq. wilbowma
autosubst-devel 1.6-1 1 0.00 Automation for de Bruijn syntax and substition in Coq. wilbowma
camlp5-transitional 7.07-1 21 0.00 A preprocessor-pretty-printer of OCaml. (transitional) wilbowma
ect 0.8.2-2 2 0.66 Efficient Compression Tool (or ECT) is a ++ file optimizer. It supports PNG, JPEG, GZIP and ZIP files. wilbowma
haskell-geniplate 0.6.0.5-3 0 0.00 Use template Haskell to generate Uniplate-like functions wilbowma
hoard 3.11-1 3 0.00 Fast scalable and memory-efficient memory allocator wilbowma
makepkg-tidy-ect r4.f207dd8-2 0 0.00 A libmakepkg tidy script for loselessly compressing files using ect wilbowma
makepkg-tidy-pdfsizeopt r1.8171579-1 0 0.00 A libmakepkg tidy script for loselessly optimizing PDFs using pdfsizeopt wilbowma
mathcomp 1.9.0-1 6 0.00 The entire mathematical components library for Coq. wilbowma
perl-class-trigger 0.14-3 4 0.00 Mixin to add / call inheritable triggers wilbowma
perl-text-aspell 0.09-3 7 0.00 Perl interface to the GNU Aspell library wilbowma
proofgeneral 4.4-3 23 0.00 Generic interface for proof assistants. wilbowma
python-defusedxml-git v0.4.1.r5.g39d2ad3-1 0 0.00 XML bomb protection for Python stdlib modules wilbowma
python2-defusedxml-git v0.4.1.r5.g39d2ad3-1 0 0.00 XML bomb protection for Python stdlib modules wilbowma
python2-pyliblzma 0.5.3-7 54 0.00 Python 2 bindings for liblzma wilbowma
s3ql-hg r2760.bd156222419a-2 1 0.00 A full-featured file system for online data storage. wilbowma
ssreflect 1.9.0-1 9 0.00 The ssreflect unit of the mathematical components library for Coq. wilbowma
unison-git r2.49.543.c403bd6-1 1 0.00 File-synchronization tool wilbowma
firefox-esr-privacy 60.1.0-1 12 0.00 Standalone web browser from mozilla.org Wilco
dcd-git 0.9.0.r6.cbcc6fa-2 2 0.00 D Completion Daemon: auto-complete for the D programming language Wild
dfmt-git 0.5.0.r4.ea72aa5-2 4 0.00 Dfmt is a formatter for D source code Wild
dmailmanager-git r2.e3d20be-3 0 0.00 Manage mail using notmuch Wild
dscanner-git 0.4.0.r73.0b064a0-2 2 0.00 Swiss-army knife for D source code Wild
dstep 0.2.3-1 2 0.00 Automatic C header to D module translator Wild
dstep-git r375.d3478da-1 0 0.00 Automatic C header to D module translator Wild
dub-git 1.11.0.alpha.1.r11.2cbab87-1 5 0.00 Package manager for D packages, git version Wild
dwin-git r73.ca40bda-2 0 0.00 A window manager written in D Wild
serve-d 0.4.1-1 3 0.07 Wraps dcd, dfmt and dscanner to one unified environment managed by dub Wild
serve-d-git r22.b5137df-2 2 0.00 Microsoft language server protocol implementation for D using workspace-d Wild
workspace-d 3.3.0-1 6 0.01 Wraps dcd, dfmt and dscanner to one unified environment managed by dub Wild
workspace-d-git 2.11.0.r0.76224e3-1 0 0.00 Wraps dcd, dfmt and dscanner to one unified environment managed by dub Wild
gnuarmeclipse-qemu-bin 2.8.0_3_20180523-1 5 0.00 The GNU MCU Eclipse QEMU is a fork of the public open-source QEMU project, customised for more support of Cortex-M cores, and a better integration with the GNU ARM QEMU Debugging plug-in. wildarch
python-aws-mfa 0.0.12-1 1 0.63 Easily manage your AWS Security Credentials when using Multi-Factor Authentication (MFA) wiliam
python2-aws-mfa 0.0.12-1 1 0.63 Easily manage your AWS Security Credentials when using Multi-Factor Authentication (MFA) wiliam
python2-yapf 0.28.0-1 0 0.00 Python style guide checker wiliam
0verkill-git 20130806-1 5 0.00 Bloody 2D action deathmatch-like game in ASCII-ART will.price94
antlrworks 2.1-1 2 0.00 A netbeans based grammar IDE will.price94
boot-vhdl-git r48.883635b-1 0 0.00 A VHDL simulator and synthesizer will.price94
cadnano-git r884.f4b84a4-1 0 0.00 CAD for 3D DNA origami nanostructures will.price94
clipf 0.4-2 4 0.00 clipf is a personal finance manager with command line interface will.price94
floola 2012r1-2 46 0.00 Freeware application to efficiently manage your iPod or your Motorola mobile phone (any model supporting iTunes except iPhone, iPod touch). will.price94
gdub-git r43.ebe14f1-1 0 0.00 A gradle wrapper wrapper to make gradlew easier to use will.price94
gingko 2.4.5-1 4 0.05 Gingko is a new kind of tool, that lets you shape your ideas with lists, outlines and cards, all in the same clean interface. will.price94
ino-git 20140415-3 0 0.00 Command line toolkit for working with Arduino hardware. Works with Arduino 1.5 will.price94
migen-git 0.2.r8a514e9-1 0 0.00 A python toolbox for building complex digital hardware will.price94
mussort 20130804-1 0 0.00 mussort is a simple tool that sorts a music collection will.price94
poplog 15.65-4 1 0.00 poplog development system will.price94
probe 1.30-1 0 0.00 ProBE is an animator for CSP processes allowing the user to explore the behaviour of models interactively will.price94

60190 packages found. Page 1152 of 1204.

« First ‹ Previous ... 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 ... Next › Last »