54108 packages found. Page 53 of 1083.

« First ‹ Previous ... 48 49 50 51 52 53 54 55 56 57 58 ... Next › Last »

Name Version Votes Popularity? Description Maintainer
beluga-git v0.8.1.r190.3d50c74-1 2 0.00 Beluga is a functional programming language designed for reasoning about formal systems. It features direct support for object-level binding constructs using higher order abstract syntax and treats contexts as first class objects. tsani
bemenu-git r223.c3abc43-1 12 0.01 Dynamic menu library and client program inspired by dmenu with support for wayland compositors. dacoit
benchmark 1.4.1-2 10 0.01 A microbenchmark support library, by Google PhCl
benchmark-git v1.0.0.r240.g4f8bfea-1 1 0.01 A microbenchmark support library, by Google erikzenker
benelib 0.28.203e14c-1 1 0.00 A library containing many code snippets mostly for ROOT wutzi
bennugd-core 344-1 2 0.00 a programming language to create games (Fenix successor) - core jose1711
bennugd-modules 344-1 2 0.00 a programming language to create games (Fenix successor) - modules jose1711
benny-hill 0.0.2-1 1 0.00 Play the Benny Hill theme while running another command Tyilo
bento4 1.5.1.624-1 0 0.00 C++ class library and tools designed to read and write ISO-MP4 files Martchus
benzene-mohex 1.0.1-3 1 0.00 Computer Hex engine by UAlberta. Winner of 2015 ICGA Olympiad. apetresc
benzene-wolve 1.0.1-3 1 0.00 Computer Hex engine by UAlberta. Winner of 2008 ICGA Olympiad. apetresc
berachs-complete-pidgin-git r141.3c0df5c-1 1 0.00 Emote package for the Pidgin IM client tyleromeara
beremiz-hg 1.2.r1879.e5ddbaf756cb-1 0 0.00 An integrated development environment for machine automation nlowe
berry 0.0.5-1 0 0.00 A healthy, bite-sized window manager written over the XLib Library FlashDaggerX
berry-git devel-3 0 0.00 A healthy, bite-sized window manager written over the XLib Library FlashDaggerX
bertini 1.5-2 0 0.00 Homotopy continuation solver for systems of polynomial equations akobel
bertini_real 1.0.0-2 0 0.00 Numerical decomposition of real algebraic sets, based on the Bertini homotopy continuation solver akobel
berusky 1.7.1-1 14 0.00 A logic game based on the puzzle game Sokoban SanskritFritz
berusky-data 1.7-1 3 0.00 A logic game based on the puzzle game Sokoban - data files SanskritFritz
berusky2 0.10-2 7 0.00 A logic game based on the puzzle game Sokoban. SanskritFritz
berusky2-data 0.9-1 6 0.00 A logic game based on the puzzle game Sokoban - Data SanskritFritz
besttrace 1.2-3 2 0.30 IPIP.net 开发的加强版 traceroute,附带链路可视化 bianjp
betaflight-configurator 10.4.0-2 5 0.03 Crossplatform configuration tool for the Betaflight flight control system Jake
betaflight-configurator-bin 10.4.0-1 4 0.43 Crossplatform configuration tool for the Betaflight flight control system FryDay
betcon 1.7.6.1-1 1 0.00 Sports betting management soker
bethewumpus 0.05-4 6 0.00 a game with no graphics, with no text, only audio jose1711
better-plasma5-video-wallpaper-git r4.40ba42f-1 2 0.35 Plasma 5 plugin for video-wallpaper without gap between loop omni
bettercap-git 2.11.1313.8cf3e65-1 5 0.00 Swiss army knife for network attacks and monitoring anthraxx
betterdiscord 0.2.82.r450.1a6648eb-0 10 0.23 Discord extension that introduces new features like BTTV emotes and plugin support. orphan
betterdiscord-git 0.2.82.r281.gb92989a-1 4 0.01 Discord extension that introduces new features like BTTV emotes and plugin support. Git master branch samogot
betterdiscord-rauenzi-git 0.2.82.r487.gf0d355e-1 7 1.06 Discord extension with plugin support, emotes, and more (rauenzi's updated fork) bb010g
betterdiscordctl-git r10.8c5008b-2 0 0.00 A utility for managing BetterDiscord on Linux bb010g
bettergram 1.3.12-3 1 0.81 Bettergram is an improved version of the Telegram messaging app with 50 pins, favorites, sortable categories, and more. sistematico
betterlockscreen 2.1-1 10 1.86 A simple lock script for i3lock-color AUTplayed
betterlockscreen-git r86.e26ff2d-1 5 0.41 A simple lock script for i3lock-color AUTplayed
betty 0.1.8-1 9 0.00 Friendly English-like interface for your command line heddson
betty-git 0.1.7.r0.g3829fc7-1 1 0.00 Friendly English-like interface for your command line heddson
bevelbar-git 2-1 0 0.00 X11 status bar with beveled borders neeasade
beye 6.1.0-5 1 0.95 A portable viewer of binary files, hexadecimal and disassembler modes orphan
bfa-firmware 3.2.23.0.2.el6-10.1 38 0.00 Brocade Fibre Channel HBA Firmware Jristz
bfast 0.7.0a-2 1 0.00 Blat-like Fast Accurate Search Tool; facilitates the fast and accurate mapping of short reads to reference sequences Synchronicity
bfg 1.13.0-3 47 0.26 Removes large or troublesome blobs like git-filter-branch does, but faster. alexanderp
bfi 0.3-2 1 0.00 Brainfuck interpreter with interactive shell nofrost
bfind 2.1.1-1 1 0.00 find alternative optimised for finding files rather then listing files maandree
bfs 1.3.2-1 9 0.30 A breadth-first version of find. tavianator
bfs-git 1.2.4.r33.efd9549-1 0 0.00 A breadth-first version of find. tavianator
bgbilling 7.1.885-2 1 0.00 The billing system BGBilling 4le34n
bgbillingclient51 5.1.719-1 1 0.00 Client for billing system BGBilling 5.1 dark_barker
bgbillingclient52 5.2.1242-1 2 0.00 Client for billing system BGBilling 5.2 dark_barker
bgbillingclient60 6.0.1398-1 2 0.00 Client for billing system BGBilling 6.0 dark_barker

54108 packages found. Page 53 of 1083.

« First ‹ Previous ... 48 49 50 51 52 53 54 55 56 57 58 ... Next › Last »