63342 packages found. Page 1190 of 1267.

« First ‹ Previous ... 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
boolector 3.2.0-2 1 0.00 Boolector is an efficient SMT solver for the quantifier-free theory of bit-vectors in combination with the quantifier-free extensional theory of arrays. Ice_Phoenix
bookwyrm-git v0.5.0.r0.g92cd41b-1 0 0.00 traverse various sources, find ebooks/textbooks/papers, and download them tmplt
bookworm-git 1.1.1.r48.g3537e86-1 7 0.00 A simple user centric eBook reader which displays multiple eBooks formats uniformly metak
booktabz 1.7-1 0 0.00 Booktab - Libri di testo multimediali sul tuo tablet e sul tuo computer. Pival81
booktab 4.8-2 0 0.00 MyZanichelli - La piattaforma che ti permette di consultare tutti i tuoi libri scolastici in versione multimediale e interattiva. max.bra
bookstack 0.28.3-1 0 0.00 A simple, self-hosted, easy-to-use platform for organising and storing information smuise
booksorg 0.3.1-1 2 0.00 Books Organizer, an organizer for pdf files based on sqlite and with a built-in reader. Bring your favorite PDF pages all in one! Make your own extract pages from existing ones kovax3
bookshelf 1-1 6 0.00 Virtual bookshelf browser for the terminal maandree
bookmark-djvu 0.1-2 1 0.00 bookmark-djvu and bookmark-djvu-extract are YAML -enabled wrappers around DjVuLibre’s djvused tool. They allow simple modification and extraction of DjVu outlines. zoe
bookmanager 0.4-1 1 0.00 A simple EBook manager app supporting basic collection management and tabbed document viewing orphan
bookletimposer 0.3-1 6 0.00 Achieve some basic imposition on PDF documents postblue
booklet 2.0-1 21 0.00 Converts a pdf to a booklet csllbr
boohu-git 0.9.0.48.gee52056-1 2 0.00 Break Out Of Hareka's Underground, a roguelike game. thann
boogrocha r46.b1d7201-1 1 0.01 A lightweight, easy to use application for managing your group room bookings at Chalmers University of Technology HerrNaN
boogie-git 0.r4273.bad6c01-1 2 0.00 Boogie is an Intermediate Verification Language (IVL) for describing proof obligations to be discharged by a reasoning engine, typically an SMT solver fhahn
boo 0.9.4.9-4 0 0.00 A wrist friendly language for the CLI orphan
bonzomatic-git r284.362c1de-2 3 0.02 a live-coding tool where you can write a 2D fragment/pixel shader while it is running in the background coderobe
bonsai.sh-git r84.6c3812b-2 5 1.13 bonsai tree generator written in bash ifreund
bonita-studio-community-bin 7.10.1-1 4 0.02 Bonita Studio with embedded Engine + Portal TheGoliath
bones 20150929-2 1 0.00 A simple Scheme compiler for x86_64 systems ecraven
bond-git 7a14f45-1 1 0.00 A cross-platform framework for working with schematized data yuvadm
bonanza 6.0-5 5 0.00 The Computer Shogi Program dseg
bomi-git 0.9.11.r52.ge367383a-1 16 0.21 Powerful and easy-to-use GUI multimedia player based on mpv (git version) esrevinu
bomi 0.9.11-7 104 0.32 Powerful and easy-to-use GUI multimedia player based on mpv andrea.denisse
bombsquad 1.4.150-1 2 0.04 An explosive arcade-style party game Mrmaxmeier
bombono-dvd 1.2.4-5 76 0.00 DVD authoring program with nice and clean GUI sbmomeni
bombermaaan-svn 1.4.0.658-1 5 0.00 A classic Bomberman-like game with multiplayer support (development version) carstene1ns
bombermaaan 1.4.0.627-5 8 0.00 A classic Bomberman-like game with multiplayer support carstene1ns
bombardier-git 0.8.3.r0.g8a1d51d-4 1 0.00 The GNU Bombing utility (text game) daneel
bombardier 0.2-1 2 0.00 Crossplatform HTTP benchmarking tool written in Go obiesmans
bombadillo-git r274.ce3744a-1 0 0.00 Bombabillo is a non-web client for the terminal, supporting Gopher, Gemini and much more. emilio-r
boltztrap 1.2.5-1 0 0.00 Boltzmann Transport Properties (BoltzTraP) is a program for calculating the semi-classic transport coefficients specter119
bolt-git r537.0823d6f-1 1 0.00 Thunderbolt 3 security system daemon Dragonlord
boldline 0.1.1-1 0 0.00 Small utility to generate a bold line in a repeated line of text zekesonxx
bolbol-git 20190604.53_3f7a049-1 0 0.00 Learn languages on terminal, by short and practical sentences. thiagoalmeidasa
bokken-hg 1.8.28.6d1a9a1872ed-1 25 0.00 GUI for radare2 and pyew anthraxx
bokken 1.8-3 17 0.00 GUI for radare2 and pyew anthraxx
bok v1.0-1 0 0.00 A simple shellscript to manage personal journals astroengisci
boinc_curses 0.2.3-1 2 0.00 console based boinc-client monitor and controller t-8ch
boinctui-git r197.0e36e65-1 0 0.00 Curses based fullscreen BOINC manager with support for terminal transparency VerruckteFuchs
boinc-rpc-cpp-git 20160727_192500-1 0 0.00 RPC API for BOINC client vorot93
boinc-gobject-git r1-1 0 0.00 GObject-based API for BOINC client vorot93
boinc-app-api 1.0-2 0 0.00 API for communication with BOINC applcations. vorot93
boilr-bin 0.3.0-2 0 0.00 Boilerplate template manager that generates files or directories from template repositories ragouel
boe-server 0.1.1-1 1 0.00 A chat platform that intends to look at other chat programs and take only the Best of Everything. ParkerMc
boe 0.1.1-1 1 0.00 A chat platform that intends to look at other chat programs and take only the Best of Everything. ParkerMc
bodylogger 0.8.0-1 0 0.00 Maintains a database of body weight measurements while giving stats and predictions based on trends. rmcminn
bodr 10-1 5 0.02 A set of data for chemoinformatics in both XML and plain-text formats. shimi
bochs-svn 2.6.11.r13817-1 0 0.00 A portable x86 PC emulation software package, including GUI debugger (SVN Snapshot) cykusz
bochs-sdl 2.6.9-4 2 0.00 A portable x86 PC emulation software package, including GUI debugger, with sdl support Phi11ipus

63342 packages found. Page 1190 of 1267.

« First ‹ Previous ... 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 ... Next › Last »