45164 packages found. Page 855 of 904.

« First ‹ Previous ... 850 851 852 853 854 855 856 857 858 859 860 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
libt3window 0.2.3-1 2 0.18 A library for creating window-based terminal programs. wil93
libtranscript 0.3.2-1 2 0.18 A character set conversion library. wil93
testlib r125.5eb7c9c-1 0 0.00 A library used to write the auxiliary programs (validators, generators, and so on) for programming contest problems. wil93
tilde 0.3.7-1 5 0.37 An intuitive text editor for the terminal. wil93
autosubst 1.6-1 0 0.00 Automation for de Bruijn syntax and substition in Coq. wilbowma
autosubst-devel 1.6-1 0 0.00 Automation for de Bruijn syntax and substition in Coq. wilbowma
camlp5-transitional 7.01-1 20 0.72 A preprocessor-pretty-printer of OCaml. (transitional) wilbowma
haskell-geniplate 0.6.0.5-3 0 0.00 Use template Haskell to generate Uniplate-like functions wilbowma
hoard 3.11-1 2 0.00 Fast scalable and memory-efficient memory allocator wilbowma
mathcomp 1.6.1-4 3 0.02 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 22 0.04 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 50 0.06 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.6.1-4 9 0.02 The ssreflect unit of the mathematical components library for Coq. wilbowma
unison-git r2.49.543.c403bd6-1 0 0.00 File-synchronization tool wilbowma
firefox-esr-privacy 52.3.0-1 12 1.12 Standalone web browser from mozilla.org Wilco
coedit-bin 3_update_3-3 11 2.36 Coedit is an IDE for the DMD D2 compiler. Wild
dcd 0.9.0-2 3 2.56 D Completion Daemon: auto-complete for the D programming language Wild
dcd-git 0.9.0.r6.cbcc6fa-2 2 0.04 D Completion Daemon: auto-complete for the D programming language Wild
dfmt 0.5.0-3 6 3.63 Dfmt is a formatter for D source code Wild
dfmt-git 0.5.0.r4.ea72aa5-2 3 0.08 Dfmt is a formatter for D source code Wild
dmailmanager-git r2.e3d20be-3 0 0.00 Manage mail using notmuch Wild
dscanner 0.4.0-2 8 3.63 Swiss-army knife for D source code Wild
dscanner-git 0.4.0.r73.0b064a0-2 2 0.02 Swiss-army knife for D source code Wild
dstep 0.2.2-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 1.4.0-3 5 4.00 Developer package manager for D programming language Wild
dub-git 1.4.0rc1.r46.46a74e2-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-git r22.b5137df-2 1 0.84 Microsoft language server protocol implementation for D using workspace-d Wild
workspace-d 2.11.0-3 5 1.12 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
bwsyncandshare 11.3.476-1 2 0.08 file sync and share client wilga
0verkill-git 20130806-1 6 0.00 Bloody 2D action deathmatch-like game in ASCII-ART will.price94
antlrworks 2.1-1 2 0.09 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
energia 1.6.10E18-2 20 0.09 Energia is a Arduino IDE clone for use with the MSP430 launchpad will.price94
floola 2012r1-2 46 0.01 Freeware application to efficiently manage your iPod or your Motorola mobile phone (any model supporting iTunes except iPhone, iPod touch). will.price94
gdub-git r31.fd7c8a8-1 0 0.00 A gradle wrapper wrapper to make gradlew easier to use will.price94
ino-git 20140415-3 0 0.00 Command line toolkit for working with Arduino hardware. Works with Arduino 1.5 will.price94
mediafire-fuse-git 0.90.r19.g95951eb-1 0 0.00 MediaFire shell and fuse driver 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
mylg-git v0.2.2.r8.g39cf628-2 2 0.00 General Network diagnostic tool will.price94

45164 packages found. Page 855 of 904.

« First ‹ Previous ... 850 851 852 853 854 855 856 857 858 859 860 ... Next › Last »