41051 packages found. Page 776 of 822.

« First ‹ Previous ... 771 772 773 774 775 776 777 778 779 780 781 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
camlp5-transitional 6.17-1 19 0.67 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.03 Fast scalable and memory-efficient memory allocator wilbowma
mathcomp 1.6.1-4 3 0.69 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 1.37 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 49 0.99 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 10 0.67 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 45.4.0-1 8 0.02 Standalone web browser from mozilla.org Wilco
dcd-git r664.69d195f-1 1 0.00 D Completion Daemon: auto-complete for the D programming language WildN00b
dfmt 0.4.5-1 1 0.00 Dfmt is a formatter for D source code WildN00b
dfmt-git r314.8035bee-1 2 1.55 Dfmt is a formatter for D source code WildN00b
dinu 1.0.2-1 1 0.08 Launcher, file manager, one-way terminal WildN00b
dinu-git r48.c0bb901-1 1 0.08 Launcher, file manager, one-way terminal WildN00b
dscanner 0.3.0-1 3 0.00 Swiss-army knife for D source code WildN00b
dscanner-git r881.6fcb102-1 2 0.56 Swiss-army knife for D source code WildN00b
dwin-git r68.820e610-2 0 0.00 A window manager written in D WildN00b
workspace-d 2.10.1-1 3 1.63 Wraps dcd, dfmt and dscanner to one unified environment managed by dub WildN00b
workspace-d-git r66.74b5202-1 0 0.00 Wraps dcd, dfmt and dscanner to one unified environment managed by dub WildN00b
bwsyncandshare 10.6.468-1 1 0.09 file sync and share client wilga
0verkill-git 20130806-1 6 0.09 Bloody 2D action deathmatch-like game in ASCII-ART will.price94
antlrworks 2.1-1 1 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
clipf 0.4-2 4 0.00 clipf is a personal finance manager with command line interface will.price94
energia 1.6.10E18-2 19 1.28 Energia is a Arduino IDE clone for use with the MSP430 launchpad will.price94
floola 2012r1-2 46 0.38 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.15 General Network diagnostic tool will.price94
nodejs-gitbook-cli 2.2.0-2 3 0.01 CLI to generate books and documentation using gitbook will.price94
nodejs-gitignore 0.1.6-1 0 0.00 Automatically fetch gitignore files for any project type from github into your new project will.price94
nodejs-is-up 1.0.1-1 0 0.00 Check whether a website is up or down will.price94
nodejs-livedown 1.0.11-1 1 0.00 Live Markdown previews for your favourite editor. will.price94
platformio-git v2.8.6.r596.g0f300a2-3 8 0.06 A cross-platform code builder and library manager 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
pug-git v0.4.0.2-1 0 0.00 Quickly update local projects and their dependencies with a single command will.price94
python2-semantic-version 2.5.0-1 10 2.75 Semantic version comparison for Python will.price94
ttf-sudo 0.33-1 1 0.04 A font for programmers and command line users will.price94
vosviewer 1.6.5-1 0 0.00 Visualising scientific landscapes will.price94
3ncode-git r35.30e0440-1 1 0.00 Graphical video and audio converter for ffmpeg willemw
altyo-git 0.4_rc12.1.r16.g777b7ad-1 19 0.54 Vala / GTK+ 3 drop-down terminal emulator willemw

41051 packages found. Page 776 of 822.

« First ‹ Previous ... 771 772 773 774 775 776 777 778 779 780 781 ... Next › Last »