|
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-transparent-top-bar-git
|
r66.6cd4532-2 |
5 |
0.00
|
GNOME Shell extension that brings back the transparent top bar when free-floating |
yochananmarqos
|
2023-10-15 20:05 (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) |
|
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) |