|
hoverclock-qt-bin
|
1.0.1-1 |
0 |
0.00
|
Hoverclock QT - A simple floating clock for Linux |
KostoskiStefan
|
2024-02-13 23:06 (UTC) |
|
hoverclock-git
|
1.0.0-1 |
0 |
0.00
|
A very lightweight and customizable floating clock for Linux |
KostoskiStefan
|
2024-02-14 01:01 (UTC) |
|
hoverclock-appimage
|
0.0.9-1 |
0 |
0.00
|
Hoverclock - A simple, customizable floating clock for linux made with QT |
KostoskiStefan
|
2022-02-22 10:32 (UTC) |
|
haskell-intervals
|
0.8.1-1 |
0 |
0.00
|
Library for closed, convex sets of floating point values. |
orphan
|
2019-02-06 21:27 (UTC) |
|
gnome-shell-extension-floatingdock-git
|
r97.5906027-1 |
1 |
0.00
|
Move dock anywhere on the desktop |
hottea
|
2021-05-17 12:38 (UTC) |
|
gdtoa-desktop-git
|
r30.698924a-1 |
0 |
0.00
|
Binary-decimal floating-point conversion library by David M. Gay |
m3thodic
|
2021-10-08 04:19 (UTC) |
|
flopoco
|
4.1.3-1 |
1 |
0.00
|
A generator of arithmetic cores (Floating-Point Cores, but not only) for FPGAs (but not only) |
marzoul
|
2021-11-23 22:44 (UTC) |
|
dvd-screensaver-sway-git
|
1:r9.ec802e1-1 |
0 |
0.00
|
Moves a floating sway window like the dvd screensaver |
Nici
|
2023-01-19 16:25 (UTC) |
|
bubbles-git
|
gitrev-2 |
1 |
0.00
|
bubbles is opinionated, tiny, bloat-less (=> fast) floating window manager for X. |
263
|
2022-01-03 11:36 (UTC) |
|
bitwuzla-git
|
0.4.0.r33.g72cad5f-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:40 (UTC) |
|
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) |
|
awm-git
|
1.0-1 |
0 |
0.00
|
A floating window manager written with XCB. |
abxxbo
|
2022-03-18 02:33 (UTC) |
|
android-x86-mpfr
|
4.2.1-1 |
0 |
0.00
|
Multiple-precision floating-point library (Android x86) |
hipersayan_x
|
2024-05-01 20:09 (UTC) |
|
android-x86-64-mpfr
|
4.2.1-1 |
0 |
0.00
|
Multiple-precision floating-point library (Android x86-64) |
hipersayan_x
|
2024-05-01 20:07 (UTC) |
|
android-armv7a-eabi-mpfr
|
4.2.1-1 |
0 |
0.00
|
Multiple-precision floating-point library (Android armv7a-eabi) |
hipersayan_x
|
2024-05-01 20:05 (UTC) |
|
android-aarch64-mpfr
|
4.2.1-1 |
0 |
0.00
|
Multiple-precision floating-point library (Android aarch64) |
hipersayan_x
|
2024-05-01 20:03 (UTC) |
|
amrnb
|
11.0.0.0-3 |
147 |
0.00
|
3GPP Adaptive Multi-Rate Floating-point (AMR) Speech Codec |
orphan
|
2016-04-25 12:15 (UTC) |
|
2bwm-git
|
0.3.r0.g11cd945-1 |
8 |
0.00
|
A fast floating window manager |
bidulock
|
2019-09-01 07:26 (UTC) |
|
2bwm
|
0.3-1 |
11 |
0.00
|
A fast floating window manager |
bidulock
|
2019-09-01 07:36 (UTC) |