bitwuzla-git
|
0.4.0.r51.g31330f2-1 |
0 |
0.00
|
SMT solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations |
meadow
|
2024-05-14 17:30 (UTC) |
bitwuzla
|
0.5.0-2 |
0 |
0.00
|
SMT solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations |
meadow
|
2024-06-19 20:27 (UTC) |
bitwarden-server
|
1.38.1-1 |
1 |
0.00
|
Open source password management solutions for individuals, teams, and business organizations. |
orphan
|
2020-11-20 14:48 (UTC) |
bitrise
|
2.10.1-1 |
1 |
0.00
|
Run your bitrise.io automations offline |
g360
|
2024-03-21 15:14 (UTC) |
bitedit
|
0.9.4-1 |
0 |
0.00
|
useful for directly editing existing bitmap font files, like Linux psf console fonts |
arkanyota
|
2021-12-16 13:00 (UTC) |
bitcoin-unlimited
|
2.0.0.0-2 |
6 |
0.00
|
Bitcoin Unlimited Cash (BCH) versions of Bitcoind, bitcoin-cli, bitcoin-tx, and bitcoin-qt, w/GUI and wallet |
redfish
|
2023-09-03 05:45 (UTC) |
bitcanna-wallet-bin
|
1.0.3-4 |
0 |
0.00
|
Full node BitCanna (BCNA) versions of bitcannad, bitcanna-cli, bitcanna-qt, and bitcanna-tx, w/GUI and wallet |
orphan
|
2021-09-09 13:39 (UTC) |
bisection
|
r2.cad6efa-1 |
0 |
0.00
|
Algorithm for solving equations |
GVB
|
2021-11-03 15:52 (UTC) |
bip
|
0.9.0rc4-1 |
0 |
0.00
|
Multiuser IRC proxy that supports replaying of logged conversations. |
bglopez
|
2021-03-31 20:40 (UTC) |
binaural-vst-git
|
1.0.r27.e0b842b-1 |
1 |
0.00
|
A vst plugin that positions sound in a 3D space using Head-Related Transfer Functions (HRTF). |
osch
|
2021-08-11 05:34 (UTC) |
binarix
|
0.3-1 |
1 |
0.00
|
binarix - a matrix styled linux console locker |
reck1610
|
2016-12-04 12:01 (UTC) |
bikeshed-git
|
2.2.3.3886cea8b-1 |
0 |
0.00
|
A preprocessor for anyone writing specifications. |
orphan
|
2020-12-10 02:50 (UTC) |
bigscreen-image-settings-git
|
r01.8977fdbf-1 |
0 |
0.00
|
Plasma Bigscreen configurations for Bigscreen Images |
Aix
|
2021-10-21 08:02 (UTC) |
bigclick
|
46.0_bigclick-1 |
0 |
0.00
|
Patched kgx (GNOME Console): right-click to copy/paste (as in Windows) |
evgvs
|
2024-05-21 23:04 (UTC) |
bibman-git
|
0.3.0.alpha.r8.gc8082bd-1 |
0 |
0.00
|
A console tool for managing BibTeX files. |
themoxon
|
2020-05-12 10:19 (UTC) |
bibliasacra-appimage
|
1.0.7-1 |
0 |
0.00
|
A Flutter Bible application with English and Latin versions |
iankarmstrong
|
2024-03-22 09:35 (UTC) |
bibel-git
|
r53.a55eb0c-1 |
1 |
0.00
|
Read the the German Catholic Einheitsübersetzung, with annotations, from your terminal |
AlexBocken
|
2023-10-12 16:43 (UTC) |
bgrm-git
|
21.1231-3 |
2 |
0.00
|
A utility for removing backgrounds from a webcam and returning a virtual webcam for use in applications like Teams, OBS, etc |
orphan
|
2022-04-11 17:19 (UTC) |
betterzsh
|
1.0.r7-1 |
0 |
0.00
|
Configurations to enhance user experience with the ZSH shell. |
a4to
|
2022-04-07 23:53 (UTC) |
bertini
|
1.6-2 |
2 |
0.00
|
Homotopy continuation solver for systems of polynomial equations |
akobel
|
2022-04-14 21:21 (UTC) |
bergamont-marian-git
|
20220710-1 |
0 |
0.00
|
Bergamont project (browser.mt) fork of the marian translator with language models used by Mozilla Firefox Translations |
phel
|
2022-07-12 12:02 (UTC) |
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
|
2016-02-16 05:45 (UTC) |
behavioral-observation-research-interactive-software
|
7.13.9-1 |
1 |
0.00
|
BORIS: a free, versatile open-source event-logging software for video/audio coding and live observations |
orphan
|
2022-12-03 09:25 (UTC) |
beets-follow-git
|
1.1.r0.geb504a0-1 |
2 |
0.00
|
Manage muspy subscriptions via beets. |
Freso
|
2017-07-19 23:29 (UTC) |
bee-git
|
0.2.1.r0.g1fbe96ab-1 |
1 |
0.00
|
A framework for IOTA nodes, clients and applications in Rust |
orphan
|
2021-09-14 15:46 (UTC) |
bedops
|
2.4.41-2 |
1 |
0.00
|
Highly scalable genomic feature operations. https://doi.org/10.1093/bioinformatics/bts277 |
malacology
|
2023-03-03 07:06 (UTC) |
bed-latex-git
|
1.3.7-1 |
0 |
0.00
|
BEd: Beamer Editor, GUI for LaTeX Beamer presentations. |
JBD
|
2022-02-11 08:09 (UTC) |
bed-latex
|
1.3.7-1 |
3 |
0.00
|
BEd: Beamer Editor, GUI for LaTeX Beamer presentations. |
JBD
|
2022-02-11 08:12 (UTC) |
beav
|
1.40-1 |
3 |
0.00
|
Binary Editor And Viewer (with some modifications by the Debian team: release 18) |
t.sefzick
|
2015-06-08 14:32 (UTC) |
beangrow-git
|
r15.7dd642b-2 |
0 |
0.00
|
Returns calculations on portfolios in Beancount |
AlphaJack
|
2023-12-28 10:05 (UTC) |
beamer-theme-kalgan-mule-git
|
r4.9b61330-1 |
1 |
0.00
|
Kalgan template and mule colour scheme for beamer presentations |
gustawho
|
2022-07-02 05:14 (UTC) |
beakerlib
|
1.30-2 |
1 |
0.00
|
Shell-level integration testing library, providing convenience functions which simplify writing, running and analysis of integration and blackbox tests. |
patlefort
|
2024-06-21 13:36 (UTC) |
bdf-unifont-extra
|
15.1.05-1 |
0 |
0.00
|
GNU Unifont Glyphs (bold and italic versions) |
neeshy
|
2024-02-25 19:33 (UTC) |
bctoolbox-git
|
5.3.0.alpha.r10.gb0027df-1 |
3 |
0.00
|
Utilities library for Belledonne Communications software |
thrasibule
|
2023-11-06 21:16 (UTC) |
bcalm-git
|
2.2.0.r49.g890ea4a-1 |
1 |
0.00
|
constructs compacted de Bruijn graph from sequencing data |
Piezo
|
2019-12-01 14:50 (UTC) |
battlejump
|
0.12.0-10 |
2 |
0.00
|
Arcade game inspired by Monster Farm Jump. |
Basxto
|
2018-01-22 20:00 (UTC) |
batti-icons
|
1-1 |
0 |
0.00
|
svg and png icons from batti software |
showipatlogon
|
2021-01-23 02:37 (UTC) |
batterycm-switcher-git
|
r22.c5e1610-1 |
0 |
0.00
|
An advanced Ideapad Laptops conservation mode adjustment tool |
Supdrewin
|
2021-09-24 11:57 (UTC) |
batterycm-switcher
|
1.2.0-1 |
0 |
0.00
|
An advanced Ideapad Laptops conservation mode adjustment tool |
Supdrewin
|
2021-08-28 12:25 (UTC) |
bats-battery
|
1.2.0-1 |
3 |
0.00
|
Battery status in the console |
cdown
|
2023-12-24 17:31 (UTC) |
batify-git
|
1.0.r15.g691dc5b-1 |
2 |
0.00
|
One udevrules file triggering plug and battery level notifications (multi-X sessions support). |
orphan
|
2019-05-03 10:20 (UTC) |
batch-explorer-bin
|
2.20.0_stable.966-3 |
0 |
0.00
|
A client tool to help create, debug and monitor Azure Batch Applications |
zxp19821005
|
2024-03-25 08:10 (UTC) |
basilisk-gtk2-bin
|
1:52.9.2023.12.09-1 |
0 |
0.00
|
A XUL-based web-browser demonstrating the Unified XUL Platform (UXP). |
orphan
|
2023-12-20 16:13 (UTC) |
basilisk
|
2024.05.11-2 |
0 |
0.00
|
A XUL-based web-browser demonstrating the Unified XUL Platform (UXP) |
figue
|
2024-06-02 18:07 (UTC) |
bashrun2
|
0.2.6-2 |
2 |
0.00
|
Launch applications from interactive bash sessions |
scorpp
|
2020-12-23 12:50 (UTC) |
bashplus
|
0.1.0-1 |
0 |
0.00
|
Collection of useful Bash functions |
eclairevoyant
|
2023-05-16 06:29 (UTC) |
bashmultitool
|
2.1-2 |
1 |
0.00
|
A library for bash shell programs containing useful functions, written in bash, can be imported into scripts |
glyons
|
2022-09-22 16:04 (UTC) |
bash-preexec-git
|
0.3.3.r0.gc4537b4-3 |
0 |
0.00
|
⚡ preexec and precmd functions for Bash just like Zsh. |
giuscri
|
2017-06-07 00:12 (UTC) |
bash-completion-git
|
2.11.r810.g5927d573-1 |
1 |
0.00
|
Programmable completion functions for bash |
Chocobo1
|
2023-01-29 05:43 (UTC) |
bash-bats-assert-git
|
2.1.0-1 |
0 |
0.00
|
Common assertions for Bats |
yunielrc
|
2023-02-22 23:09 (UTC) |