46010 packages found. Page 765 of 921.

« First ‹ Previous ... 760 761 762 763 764 765 766 767 768 769 770 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
nodejs-markdown-pdf 7.0.0-2 5 0.02 Markdown to PDF converter badeball
nodejs-http-server 0.9.0-2 4 0.03 A simple zero-configuration command-line http server badeball
nodejs-cordova 6.4.0-1 13 0.00 Cordova command line interface tool badeball
isabelle 2017-1 21 1.76 A generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. badcasa
openlava 4.0-3 2 0.01 A open source cluster scheduler badbytes
sync-my-l2p 2.2.0-1 7 0.01 Sync the L2P of the RWTH Aachen with your Computer badboy
sozu-git 0.1.1.r171.gaaab376-1 0 0.00 HTTP reverse proxy, configurable at runtime, fast and safe, built in Rust badboy
python2-clint-git 0.3.3.28.gf1ab574-1 3 0.00 Python Command-line Application Tools badboy
kcov-git v27.r11.g5d81d7b-1 2 0.00 Code coverage tester for compiled programs, Python scripts and shell scripts badboy
kanla 1.5-3 1 0.00 small-scale alerting daemon badboy
i3status-git 2.11-1 41 0.03 Generates status bar to use with dzen2 or wmii badboy
i3lock-git 2.9.1-1 55 1.03 An improved screenlocker based upon XCB and PAM badboy
i3-ipc 0.2.0-1 9 0.00 inter-process communication with i3, the improved tiling window manager. badboy
i3-git 4.14.r114.g362cbe6c-1 75 1.08 An improved dynamic tiling window manager badboy
ghi-git 1.0.3.1.gb8dad32-1 1 0.00 GitHub Issues on the command line. badboy
dit-git 0.2.r0.g94b4867-1 0 0.00 A console text editor for Unix systems that you already know how to use badboy
charles 4.2-1 39 0.70 Web debugging proxy application badboy
bats-git v0.4.0.r6.g0360811-1 4 0.00 Bash Automated Testing System badboy
openconnect-palo-git 7.08.r84.g91025a3-1 2 0.72 VPN client for Palo Alto GlobalProtect VPN BaconHunter
wickr-bin 2.6.0-3 8 0.74 Wickr messenger bacondropped
sidplayer 4.4-1 0 0.00 A SID tune replayer bacondropped
ragel-dev 7.0.0.10-2 1 0.00 Compiles finite state machines from regular languages into executable C, C++, Objective-C, C#, ASM, D, Go, Java, Ruby, OCaml, Crack, Rust or Julia code. bacondropped
lolremez-git 0.3.r5.g5ff460f-2 0 0.00 Polynomial Approximations using the Remez Algorithm by Sam Hocevar bacondropped
colm-dev 0.13.0.5-1 0 0.00 Programming language designed for analysis and transformation of computer languages (development version) bacondropped
colm 0.12.0-2 1 0.07 Programming language designed for analysis and transformation of computer languages bacondropped
ttsdecker 0.1-1 0 0.00 Deck building Tool for Tabletop Simulator backpackjoe
python-pybluez-git 0.22.r52.g42070d9-1 1 0.00 Python wrapper for the BlueZ Bluetooth stack backpackjoe
luksipc-git 0.04.r2.g16e3285-1 4 0.17 A tool to convert unencrypted block devices to encrypted LUKS devices in-place - git version backpackjoe
libucl-git 0.7.3.r113.g20b1288-1 0 0.00 BSD's Universal Config Language - git version backpackjoe
contour-shuttle-git 0.1-1 1 0.00 a key input driver wrapper for the Contour-ShuttlePROv2, a Jog/Shutlle device designed for A/V editing backpackjoe
qt5-webkit-print 5.212.0alpha2-1 1 0.43 Classes for a WebKit2 based implementation and a new QML API (maintained fork) (patched with pdf scale and background fixes) bachy
ospkit-git r32.7f46ee9-1 0 0.00 Webkit based html browser for printing. bachy
nodebox-git 3.0.44.x-2 1 0.70 Node-based software application for generative design. bachy
nodebox 3.0.44-1 1 0.19 Node-based software application for generative design. bachy
libriis-git r88.547be1b-1 0 0.00 PyQt5 based appliaction for writing with markdown and designing with css printed documents. bachy
arduino-pinoccio 2014111401-1 1 0.00 Arduino libraries for the Pinoccio bachp
xqilla 2.3.2-1 0 0.00 An XQuery and XPath 2.0 library, written in C++ and built on top of Xerces-C. babolivier
welcome-home 1.1.0-1 0 0.00 Let your computer welcome you with music babolivier
cozy-management 0.0.23-1 3 0.10 Module to help self hosted cozy management babolivier
cozy-indexer 1.0.6-1 1 0.00 REST API for data indexation, to be used with Cozy babolivier
cozy-desktop-gui 0.16.0-2 4 0.13 File synchronisation client for Cozy babolivier
vtk-base 7.1.1-1 5 0.89 A software system for 3D computer graphics, image processing, and visualization b52
python2-vtk 7.1.1-1 5 0.89 Python bindings for VTK b52
python-vtk 7.1.1-1 5 0.89 Python bindings for VTK b52
opengm-git r2125.31e01c6-2 0 0.00 A C++ Library for Discrete Graphical Models b52
mitk-bin 2016.11.0-1 0 0.00 Medical Imaging Interaction Toolkit (MITK) is a free open-source software system for development of interactive medical image processing software. b52
libcmaes 0.9.5-4 0 0.00 libcmaes is a multithreaded C++11 library with Python bindings for high performance blackbox stochastic optimization using the CMA-ES algorithm for Covariance Matrix Adaptation Evolution Strategy. b52
spotlite 2.0-1 0 0.00 Usenet spot database B4SH-B00STER
ruby-rake 12.0.0-1 0 0.00 Rake is a Make-like program implemented in Ruby B4SH-B00STER
riscv-isa-sim-git r496.785762c-1 2 0.16 Spike, a RISC-V ISA Simulator b4283

46010 packages found. Page 765 of 921.

« First ‹ Previous ... 760 761 762 763 764 765 766 767 768 769 770 ... Next › Last »