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) |
beets-extrafiles-git
|
0.0.7.r2.ga1d6ef9-4 |
1 |
0.00
|
A plugin for beets that copies additional files and directories during the import process. |
smp
|
2021-12-18 10:25 (UTC) |
beets-drop2beets
|
2.0.1-1 |
0 |
0.00
|
A Beets plug-in that imports singles as soon as they are dropped in a folder. |
orphan
|
2024-04-24 08:52 (UTC) |
beets-copyartifacts-git
|
0.1.5.r1.2583e59-1 |
5 |
0.00
|
A beets plugin that moves non-music files during the import process. |
zebdo
|
2023-03-07 16:34 (UTC) |
beautiful-discord-git
|
69.0d09097-1 |
4 |
0.00
|
Adds custom CSS support to Discord |
svert
|
2021-04-02 17:21 (UTC) |
beangrow-git
|
r15.7dd642b-2 |
0 |
0.00
|
Returns calculations on portfolios in Beancount |
AlphaJack
|
2023-12-28 10:05 (UTC) |
beancount-ethereum-importer
|
1.4.2-1 |
0 |
0.00
|
Ethereum transaction importer for Beancount |
xuhcc
|
2022-01-09 18:01 (UTC) |
beammp-server
|
v3.0.1.r267.47e64a7-1 |
0 |
0.00
|
Server for BeamMP, providing multiplayer support for the driving simulator beamng.drive |
LionKor
|
2022-12-11 17:55 (UTC) |
beacon
|
1.1.0-1 |
0 |
0.00
|
Tiny system utility reporting CPU, memory, uptime to logs, cloudwatch, http |
romzr
|
2019-06-18 05:02 (UTC) |
bdisk-git
|
3.04-2 |
1 |
0.00
|
An easy liveCD creator built in python. Supports hybrid ISOs/USB, iPXE, and UEFI |
sanerb
|
2017-10-01 15:54 (UTC) |
bdisk
|
3.10-1 |
1 |
0.00
|
An easy liveCD creator built in python. Supports hybrid ISOs/USB, iPXE, and UEFI. |
sanerb
|
2018-01-04 09:40 (UTC) |
bcm2079x-i2c
|
1-1 |
1 |
0.00
|
DKMS module for bcm2079x-i2c NFC driver used in Lenovo ThinkPad T440s. Not useful as-is, because the userspace portion is only make for Android so far. |
cfstras
|
2018-01-19 23:02 (UTC) |
bbdock-git
|
1:r8.07fcb34-1 |
2 |
0.00
|
An application launcher dockapp supporting PNG files and transparency |
bidulock
|
2015-12-14 10:06 (UTC) |
bbdock
|
0.2.9-5 |
14 |
0.00
|
An application launcher dockapp supporting PNG files and transparency |
bidulock
|
2015-12-14 09:59 (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) |
bastet-xdg-git
|
0.43.2.r7.g591258e-1 |
1 |
0.00
|
Tetris(r) clone with 'bastard' block-choosing AI - Git version with support for Xdg Base Directories |
BachoSeven
|
2020-11-06 16:59 (UTC) |
bashtuner
|
2019.04.20-1 |
2 |
0.00
|
A guitar tuner written in bash with several tunings, and support for some other stringed instruments |
stormdragon2976
|
2023-08-16 22:26 (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-resume
|
1.0.0-1 |
1 |
0.00
|
Adds support in shell scripts to resume execution at last failing point. Like make for shell scripts |
kata198
|
2017-06-04 07:39 (UTC) |
bash-bats-support-git
|
0.3.0-1 |
0 |
0.00
|
Supporting library for Bats test helpers |
yunielrc
|
2023-02-22 23:02 (UTC) |
base16-universal-manager
|
1.0-1 |
0 |
0.00
|
A universal manager to set base16 themes for any supported application |
orphan
|
2021-11-11 16:16 (UTC) |
base-selinux
|
1-1 |
0 |
0.00
|
Minimal packages for Arch Linux installation with SELinux support |
IooNag
|
2021-01-19 19:53 (UTC) |
base-devel-selinux
|
1-1 |
0 |
0.00
|
Meta package that substitutes base-devel group with SELinux support |
IooNag
|
2021-01-19 19:54 (UTC) |
bart-cuda-git
|
0.8.00.r466.ga769c397-1 |
0 |
0.00
|
Berkeley Advanced Reconstruction Toolbox (BART) for Computational Magnetic Resonance Imaging. Package with GPU support, using CUDA and CUDNN |
Nordwin
|
2023-08-24 10:34 (UTC) |
barnowl
|
1.10-1 |
8 |
0.00
|
Ncurses-based client with support for Zephyr, XMPP, IRC and Twitter protocols |
aksr
|
2018-02-09 13:20 (UTC) |
baiduexporter-git
|
r436.7723f32-5 |
0 |
0.00
|
Assistant for Baidu to export download links to aria2/aria2-rpc |
bilabila
|
2019-04-14 08:13 (UTC) |
bacula-dir-sqlite3
|
15.0.2-1 |
34 |
0.00
|
Bacula - A Network Backup Tool (Director - SQLite3 support) |
lifespirit
|
2024-05-08 07:38 (UTC) |
bacula-dir-mariadb
|
15.0.2-1 |
34 |
0.00
|
Bacula - A Network Backup Tool (Director - MariaDB support) |
lifespirit
|
2024-05-08 07:38 (UTC) |
bacula-dir-postgresql
|
15.0.2-1 |
34 |
0.00
|
Bacula - A Network Backup Tool (Director - PostgreSQL support) |
lifespirit
|
2024-05-08 07:38 (UTC) |
backports-patches-git
|
4.4_rc2_1-1 |
3 |
0.00
|
frag+ack, chan_qos_frag, and chan-neg-1 patches for backports-patched. |
t3kk3n
|
2015-12-31 17:09 (UTC) |
aws2-wrap
|
1.4.0-1 |
0 |
0.00
|
Simple script to export current AWS SSO credentials or run a sub-process with them |
erdii
|
2024-01-07 09:13 (UTC) |
avr-libc-atmel-atmega328pb
|
1.2.132-1 |
1 |
0.00
|
Atmega328pb support for avr-libc-atmel |
samdolt
|
2017-03-19 17:33 (UTC) |
avr-libc-atmega328pb
|
1.5.362-3 |
0 |
0.00
|
The C runtime library for the AVR family of microcontrollers with Atmega328pb support |
ctag
|
2024-02-13 16:14 (UTC) |
avml-git
|
0.13.0.r29.gb6c9739-1 |
0 |
0.00
|
A portable volatile memory acquisition tool for Linux |
alex.henrie
|
2023-12-07 02:28 (UTC) |
avml
|
0.13.0-1 |
0 |
0.00
|
A portable volatile memory acquisition tool for Linux |
alex.henrie
|
2023-10-03 03:58 (UTC) |
avaloniailspy-git
|
7.2rc.r10.gbc00df4-2 |
0 |
0.00
|
Avalonia-based .NET Decompiler (port of ILSpy) |
xiota
|
2024-01-01 00:36 (UTC) |
autoportforward-git
|
v0.0.5.r0.gb8059ea-1 |
0 |
0.00
|
Bidirectional port-forwarding for docker and kubernetes |
codebling
|
2022-01-04 19:41 (UTC) |
automedia-git
|
r189.7576027-1 |
0 |
0.00
|
Automatically track new releases of media and download them. Supports torrents using rss (nyaa.si) and manga sites using html. |
DEC05EBA
|
2024-04-28 15:38 (UTC) |
authy-export-git
|
v0.3.2.2.gc4f2-1 |
1 |
0.00
|
Export your TOTP secret tokens from Authy. |
wooptoo
|
2024-04-20 16:18 (UTC) |
authselect
|
1.5.0-1 |
1 |
0.00
|
Tool to select system authentication and identity sources from a list of supported profiles. |
patlefort
|
2024-01-18 21:36 (UTC) |
authelia-git
|
4.38.8.r0.gcd32d5ce0-1 |
1 |
0.00
|
The Cloud ready multi-factor authentication portal for your Apps. |
nightah
|
2024-04-15 03:45 (UTC) |
autenticacao-gov-pt-pki
|
20240312-1 |
2 |
0.00
|
PKI Certificates for Cartao de Cidadao / Autenticacao.gov (Portugal eID) |
a36233
|
2024-03-12 11:56 (UTC) |
aumix
|
2.9.1-10 |
3 |
0.00
|
A color text mode sound mixer with GPM support |
bidulock
|
2021-03-09 04:35 (UTC) |
augvk
|
1.0-1 |
0 |
0.00
|
AugVK - VKontakte messenger written on Python/QT6 with support of responsive design and touchscreens. |
cha14ka
|
2022-10-27 12:37 (UTC) |
audacity-qt-git
|
3.5.0.0.r18112-1 |
0 |
0.00
|
Record and edit audio files - Built with mostly system libraries, except for xwWidgets and PortMidi, and following the qt branch. |
evorster
|
2023-11-06 22:14 (UTC) |
audacity-local-git
|
3.5.0.0.r18499-1 |
0 |
0.00
|
Record and edit audio files - Built with mostly system libraries, except for xwWidgets and PortMidi |
evorster
|
2024-02-25 07:32 (UTC) |
auctex-latexmk
|
1.0.2-1 |
1 |
0.00
|
latexmk support for auctex |
orphan
|
2019-02-17 12:07 (UTC) |
aterm
|
1.0.1-7 |
16 |
0.00
|
An xterm replacement with transparency support |
bidulock
|
2020-03-20 04:35 (UTC) |
atari800-a8cas-custom
|
4.2.0-1 |
0 |
0.00
|
An emulator of Atari 800/800XL/130XE/5200 with support for several turbo tape systems from liba8cas library |
wtx
|
2023-04-12 16:53 (UTC) |
asus-wmi-screenpad-dkms-git
|
r17.5f45b53-1 |
0 |
0.00
|
Variation of the asus-wmi kernel module with screenpad brightness support |
laurinneff
|
2021-06-08 16:48 (UTC) |