bitwuzla
|
0.4.0-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-03-30 17:19 (UTC) |
bchwallet
|
0.9.0-0 |
0 |
0.00
|
bchwallet is a daemon handling bitcoin cash wallet functionality for a single user. |
quest
|
2021-05-24 12:00 (UTC) |
bashplus
|
0.1.0-1 |
0 |
0.00
|
Collection of useful Bash functions |
eclairevoyant
|
2023-05-16 06:29 (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) |
b2pf
|
0.10-1 |
0 |
0.00
|
A small library of functions for converting ‘base’ characters in Unicode strings into appropriate ‘presentation forms’ for display or printing. |
aksr
|
2023-09-28 08:47 (UTC) |
aws-asl-languageserver
|
1.67.0-1 |
0 |
0.00
|
Language server for AWS Step Function's ASL, extracted from aws-toolkit-vscode |
ianliu
|
2023-04-12 10:52 (UTC) |
atheros-ar3012
|
6.4.6-1 |
0 |
0.00
|
Provides an alternate kernel module for those with malfunctioning AR3012 bluetooth hardware. |
rangho
|
2023-07-28 00:49 (UTC) |
askpass-menu
|
0.0.1-2 |
0 |
0.00
|
Provide sudo-askpass functionalities for various menus. |
ruy16109
|
2022-01-10 19:38 (UTC) |
archive-cli
|
0.4-1 |
0 |
0.00
|
Extract/Compress easy to learn function. The script takes care of the file extension to call the good command. |
fsyy
|
2021-04-28 16:41 (UTC) |
apache-git
|
2.4.57.r11251.g14aa4f56d7-1 |
0 |
0.00
|
Provides useful functions commonly found on BSD systems |
Chocobo1
|
2023-05-20 12:55 (UTC) |
ants
|
2.4.4-1 |
0 |
0.00
|
Advanced Normalization Tools (ANTs) computes high-dimensional \ mappings to capture the statistics of brain structure and function |
liamtimms
|
2023-05-04 17:55 (UTC) |
aniship-night-appimage
|
0.0.4.2-2 |
0 |
0.00
|
A convenient and functional unofficial client that allows for easy viewing of anime on PCs and laptops. Night(early) builds. |
rootd
|
2023-06-15 08:51 (UTC) |
aniship-bin
|
0.0.4.2-7 |
0 |
0.00
|
A convenient and functional unofficial client that allows for easy viewing of anime on PCs and laptops. |
zxp19821005
|
2024-03-13 08:05 (UTC) |
android-x86-libffi
|
3.4.6-1 |
0 |
0.00
|
Portable foreign function interface library (Android x86) |
hipersayan_x
|
2024-03-09 02:28 (UTC) |
android-x86-64-libffi
|
3.4.6-1 |
0 |
0.00
|
Portable foreign function interface library (Android x86-64) |
hipersayan_x
|
2024-03-09 02:27 (UTC) |
android-rust
|
2-1 |
0 |
0.00
|
Script providing common environment variables and functions for Rust build on Android. |
hipersayan_x
|
2024-04-20 10:54 (UTC) |
android-environment
|
5-2 |
0 |
0.00
|
Script providing common environment variables and functions for Android builds. |
hipersayan_x
|
2024-04-11 19:43 (UTC) |
android-armv7a-eabi-libffi
|
3.4.6-1 |
0 |
0.00
|
Portable foreign function interface library (Android armv7a-eabi) |
hipersayan_x
|
2024-03-09 02:27 (UTC) |
android-aarch64-qt6-multimedia
|
6.7.0-1 |
0 |
0.00
|
Classes for audio, video, radio and camera functionality (android) |
Martchus
|
2024-04-04 08:56 (UTC) |
android-aarch64-libffi
|
3.4.6-1 |
0 |
0.00
|
Portable foreign function interface library (Android aarch64) |
hipersayan_x
|
2024-03-09 02:26 (UTC) |
agda-bin-git
|
2.6.2.98d4eb0-1 |
0 |
0.00
|
A dependently typed functional programming language and proof assistant: development version |
LightQuantum
|
2021-05-13 08:41 (UTC) |
afb-helpers-git
|
8.0.0-1 |
0 |
0.00
|
Library providing some helpful functions for apps using Application Framework Binder |
benierc
|
2019-09-03 13:35 (UTC) |