boolector-java
|
3.2.6-1 |
0 |
0.00
|
Java bindings for the Boolector SMT solver |
abdullin.am
|
2022-04-29 08:44 (UTC) |
boolr
|
v1.0.3-2 |
6 |
0.00
|
A digital logic simulator |
MarsSeed
|
2021-06-18 20:24 (UTC) |
boom
|
1.7.1-1 |
2 |
0.00
|
A game inspired by Factor Software's BOOM.Bomberman meets DOOM. |
kleintux
|
2024-02-27 18:46 (UTC) |
boomaga-git
|
3.0.0.r1.gff169ea-1 |
2 |
0.00
|
A virtual printer for viewing a document before printing it out using the physical printer |
hoky
|
2019-03-16 10:45 (UTC) |
boomange
|
0.1.3.6-1 |
1 |
0.00
|
A Bookmarks manager with a HTML generator |
mgmillani
|
2018-05-31 18:50 (UTC) |
boomer-git
|
r286.cc0f531-1 |
1 |
0.00
|
Zoomer application for Linux. |
h7x4
|
2021-06-27 17:14 (UTC) |
boop-gtk
|
1.7.0-1 |
7 |
0.00
|
Port of @IvanMathy's Boop to GTK, a scriptable scratchpad for developers. |
qcasey
|
2021-04-04 18:19 (UTC) |
boop-gtk-bin
|
1.7.0-2 |
1 |
0.00
|
A scriptable scratchpad for developers. |
zoeyfyi
|
2021-04-04 17:54 (UTC) |
boop-gtk-extra-scripts
|
aad8f75-1 |
0 |
0.00
|
Extra scripts from Boop-GTK |
zoeyfyi
|
2020-12-31 04:29 (UTC) |
boops.lv2-git
|
1.2.4.r0.gbdb4de4-1 |
0 |
0.00
|
A glitch effect sequencer LV2 plugin (git version) |
SpotlightKid
|
2021-01-18 15:30 (UTC) |
booru-downloader-git
|
1.0-1 |
0 |
0.00
|
Downloader for different boorus |
Natanox
|
2022-10-09 20:20 (UTC) |
boost-63-compat
|
1.63.0-1 |
2 |
0.00
|
Free peer-reviewed portable C++ source libraries - compat version |
rarvolt
|
2017-06-19 16:56 (UTC) |
boost-65-compat
|
1.65.1-8 |
3 |
0.00
|
Free peer-reviewed portable C++ source libraries - compat version - development headers |
piernov
|
2023-05-07 13:36 (UTC) |
boost-65-compat-libs
|
1.65.1-8 |
3 |
0.00
|
Free peer-reviewed portable C++ source libraries - compat version - runtime libraries |
piernov
|
2023-05-07 13:36 (UTC) |
boost-di
|
1.1.0-1 |
0 |
0.00
|
Boost (experimental) c++14 dependency injection library |
jamespharvey20
|
2019-04-27 08:54 (UTC) |
boost-di-git
|
1.0.1.r418.g388364952-1 |
0 |
0.00
|
Boost (experimental) c++14 dependency injection library (developmental version) |
jamespharvey20
|
2019-04-27 08:58 (UTC) |
boost-doxygen_xml2qbk
|
1.83.0-1 |
0 |
0.00
|
Boost.org geometry docutils doxygen_xml2qbk |
FantasqueX
|
2023-12-03 19:23 (UTC) |
boost-git
|
1.80.0.r69.g1009df2416-1 |
0 |
0.00
|
Free peer-reviewed portable C++ source libraries - development headers |
orphan
|
2022-08-26 19:38 (UTC) |
boost-libs-git
|
1.80.0.r69.g1009df2416-1 |
0 |
0.00
|
Free peer-reviewed portable C++ source libraries - runtime libraries |
orphan
|
2022-08-26 19:38 (UTC) |
boost-multi-git
|
0.83.0.r170.gf1b04da-1 |
0 |
0.00
|
Multidimensional array access to contiguous or regularly contiguous memory. (Not an official Boost library) |
tobias-haenel
|
2023-12-27 17:27 (UTC) |
boost-quickbook
|
1.83.0-1 |
0 |
0.00
|
Boost.org quickbook module |
FantasqueX
|
2023-12-03 17:02 (UTC) |
boost-sml-git
|
v1.0.1.r314.gdd2464f-1 |
0 |
0.00
|
Your scalable C++14 header State Machine Library with no dependencies |
erikzenker
|
2017-01-27 10:11 (UTC) |
boost-stacktrace-backtrace
|
1.83.0-1 |
1 |
0.00
|
Boost.stacktrace backtrace variant |
leejuyuu
|
2023-11-06 16:31 (UTC) |
boost-tool-wave-git
|
2.0-1 |
0 |
0.00
|
Boost The Wave Driver Executable |
Kamilcuk
|
2021-11-16 11:49 (UTC) |
boost.process
|
0.5-1 |
7 |
0.00
|
Flexible framework for the C++ programming language to manage running programs |
FlorianJacob
|
2015-06-23 21:33 (UTC) |
boost1.69-libs
|
1.69.0-13 |
1 |
0.00
|
Free peer-reviewed portable C++ source libraries - runtime libraries |
eggz
|
2023-08-07 23:43 (UTC) |
boost1.69
|
1.69.0-13 |
1 |
0.00
|
Free peer-reviewed portable C++ source libraries - development headers |
eggz
|
2023-08-07 23:43 (UTC) |
booster-git
|
0.7.r106.gc7e328f-1 |
3 |
0.00
|
Fast and secure initramfs generator |
anatolik
|
2022-04-14 17:28 (UTC) |
booster-gtk-themes
|
1.2-2 |
1 |
0.00
|
Booster Themes - Military Edition |
boosterdev
|
2017-11-21 07:15 (UTC) |
booster-ukify
|
3-1 |
0 |
0.00
|
Integration layer for booster and systemd's ukify tool for Arch Linux |
Prototik
|
2024-03-15 11:23 (UTC) |
booster-wip-git
|
0.9.r15.g1190e30-1 |
0 |
0.00
|
Fast and secure initramfs generator. Booster WIP branch. |
anatolik
|
2022-10-03 02:07 (UTC) |
boostnote-bin
|
0.16.1-1 |
10 |
0.00
|
Open source note-taking app for programmers. Official binary. |
orphan
|
2020-10-29 21:33 (UTC) |
boot
|
2.7.2-1 |
13 |
0.00
|
A Clojure build framework and ad-hoc Clojure script evaluator |
frangio
|
2017-10-20 12:38 (UTC) |
boot-digest
|
0.8-2 |
1 |
0.00
|
Digest boot partition for disk encryption integrity |
mrxx
|
2017-10-28 01:52 (UTC) |
boot-mirror
|
1.0-1 |
0 |
0.00
|
Mirror /boot directory on kernel upgrades |
m42a
|
2016-06-18 18:00 (UTC) |
boot-repair
|
4ppa200-1 |
0 |
0.00
|
A little software for MBR and Boot Record recovery. |
FraV1982
|
2024-03-24 19:22 (UTC) |
boot-sav
|
4ppa200-1 |
0 |
0.00
|
Library for different packages. Required from OS-Uninstaller, Boot-Repair, etc... |
FraV1982
|
2024-03-24 19:31 (UTC) |
bootableusb
|
0.4-3 |
4 |
0.00
|
Create bootable usb drives |
bugra9
|
2016-12-27 16:09 (UTC) |
bootchart
|
1.20-3 |
1 |
0.00
|
A 'startup' graphing tool |
orphan
|
2019-04-03 06:16 (UTC) |
bootchart2
|
0.14.9-1 |
3 |
0.00
|
Boot Process Performance Visualization |
z3ntu
|
2021-01-05 22:35 (UTC) |
bootcleanse
|
2-1 |
1 |
0.00
|
Cleanse your system from old MBR codes and boot flags |
maandree
|
2015-06-12 11:52 (UTC) |
bootdisk
|
0.1-2 |
0 |
0.00
|
Simple command to boot device with QEMU/KVM |
orphan
|
2023-01-14 15:15 (UTC) |
booth-git
|
1.0.r174.gce9f821-1 |
1 |
0.00
|
RAFT cluster ticket manager for pacemaker |
bidulock
|
2019-10-09 12:55 (UTC) |
bootimg-tools-git
|
r11.a7540ac-1 |
6 |
0.00
|
Android boot.img creation and extraction tools |
orphan
|
2018-08-27 13:17 (UTC) |
bootimgtool-git
|
20150607.g9ccd962-2 |
4 |
0.00
|
Android boot.img extractor/assembler handling multiple variants |
quartic
|
2021-11-06 11:58 (UTC) |
bootinfoscript
|
0.78-1 |
6 |
0.00
|
A script which searches all hard drives attached to the computer for information related to booting. |
robertfoster
|
2019-11-23 18:07 (UTC) |
bootique-git
|
r23.f6bb-1 |
1 |
0.00
|
A templated theming system built in POSIX sh |
ararouge
|
2020-06-18 20:47 (UTC) |
bootleg-bin
|
0.1.9-1 |
1 |
0.00
|
Simple template processing command line tool to help build static websites |
ngrunwald
|
2020-05-31 08:27 (UTC) |
bootmap
|
0.9.3-1 |
0 |
0.00
|
Integrated EFI image generator and system snapshotter |
PBS
|
2023-10-04 09:09 (UTC) |
bootp
|
2.4.3_18-2 |
2 |
0.00
|
A BOOTP server |
stativ
|
2017-09-06 18:21 (UTC) |