44899 packages found. Page 850 of 898.

« First ‹ Previous ... 845 846 847 848 849 850 851 852 853 854 855 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
python2-robofab 1.2.1-2 0 0.00 Tools to manipulate font sources. wiill
python2-ufolib 2.0.0-1 0 0.00 A low-level UFO reader and writer. wiill
python2-ufonormalizer-git 0.1.r178.1ed0111-3 0 0.00 A tool that will normalize the XML and other data inside of a UFO. wiill
ttf-dejavu-sans-code 1.2-2 1 0.88 Monospaced font with programming ligatures based on DejaVu Sans Mono. wiill
ttf-dejavu-sans-code-git 1.2.r0.b244a9c-2 0 0.00 Monospaced font with programming ligatures based on DejaVu Sans Mono wiill
vim-ensime-git 0.2.r531.a566428-1 0 0.00 Ensime for vim. wiill
vim-wakatime-git 4.0.12.r301.5fb3410-3 0 0.00 Vim plugin for automatic time tracking and metrics generated from your programming activity. wiill
cms 1.2.0-2 0 0.00 CMS, or Contest Management System, is a distributed system for running and (to some extent) organizing a programming contest. wil93
cms-git r3327.d453771-1 1 0.00 CMS, or Contest Management System, is a distributed system for running and (to some extent) organizing a programming contest. wil93
eplot 2.07-1 3 0.08 eplot ("easy gnuplot") is a ruby script which allows to pipe data easily through gnuplot and create plots quickly, which can be saved in postscript, PDF, PNG or EMF files wil93
flyway 4.2.0-1 3 0.26 Flyway - Database Migrations Made Easy. wil93
isolate 1.3-1 1 0.18 Sandbox for securely executing untrusted programs wil93
jmt 0.9.3-1 0 0.00 Java Modelling Tools (JMT) is a comprehensive framework for performance evaluation, system modeling with analytical and simulation techniques, capacity planning and workload characterization studies. wil93
jplag r46.23f14a4-1 0 0.00 JPlag - Detecting Software Plagiarism wil93
latexrun r133.bc94107-1 2 0.09 A 21st century LaTeX wrapper wil93
latexrun-git r134.38ff6ec-1 0 0.00 A 21st century LaTeX wrapper wil93
libt3config 0.2.10-1 2 0.27 A library for reading and writing configuration files. wil93
libt3highlight 0.4.2-1 2 0.27 A syntax highlighting library. wil93
libt3key 0.2.6-1 2 0.27 Terminal key sequence database library. wil93
libt3widget 0.5.2-1 2 0.40 A C++ terminal dialog toolkit. wil93
libt3window 0.2.3-1 2 0.27 A library for creating window-based terminal programs. wil93
libtranscript 0.3.2-1 2 0.27 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.58 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 6.17-1 19 0.03 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.03 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.06 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.10 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.03 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.2.0-2 11 0.45 Standalone web browser from mozilla.org Wilco
coedit-bin 3_update_3-3 11 3.67 Coedit is an IDE for the DMD D2 compiler. Wild
dcd 0.9.0-2 0 0.00 D Completion Daemon: auto-complete for the D programming language Wild
dcd-git 0.9.0.r6.cbcc6fa-2 2 0.05 D Completion Daemon: auto-complete for the D programming language Wild
dfmt 0.5.0-3 3 1.67 Dfmt is a formatter for D source code Wild
dfmt-git 0.5.0.r4.ea72aa5-2 3 0.13 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 5 1.67 Swiss-army knife for D source code Wild
dscanner-git 0.4.0.r73.0b064a0-2 2 0.03 Swiss-army knife for D source code Wild
dub 1.4.0-3 1 0.90 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

44899 packages found. Page 850 of 898.

« First ‹ Previous ... 845 846 847 848 849 850 851 852 853 854 855 ... Next › Last »