|
emacs-auto-complete-clang-git
|
r16.a195db1-2 |
0 |
0.00
|
The AC sources for Clang. Combine the power of AC, Clang and Yasnippet. |
Harms
|
2019-01-10 20:56 (UTC) |
|
dovi_tool-git
|
2.0.0.r3.g893d683-1 |
0 |
0.00
|
CLI tool combining multiple utilities for working with Dolby Vision |
quietvoid
|
2023-01-30 19:43 (UTC) |
|
dmenu-frecency-git
|
r52.ed3102d-1 |
7 |
0.00
|
dmenu-based desktop application launcher that uses a combination of frequency and recency. Launches XDG desktop files and executables from PATH. |
willemw
|
2021-06-25 08:47 (UTC) |
|
dev_scream-dkms-git
|
r16.20230811.4bcd1f7-1 |
0 |
0.00
|
Linux kernel module that creates a device '/dev/scream', similar to '/dev/zero' but outputting random letter combinations of 'aAHh' (screaming). |
dreieck
|
2024-04-17 23:25 (UTC) |
|
darwin
|
1.4.5-2 |
0 |
0.00
|
The darwin prover suite. http://combination.cs.uiowa.edu/Darwin/ |
eugenk
|
2016-02-24 15:04 (UTC) |
|
crunch-git
|
r4.g99f164f-1 |
0 |
0.00
|
A wordlist generator where you can specify a standard character set or a character set you specify and generate all possible combinations and permutations |
Chocobo1
|
2023-03-22 12:24 (UTC) |
|
cmb
|
3.9.5-1 |
0 |
0.00
|
combinatorics utility |
orphan
|
2019-09-03 14:24 (UTC) |
|
chicken-fmt
|
0.8.11.2-1 |
0 |
0.00
|
Combinator Formatting for Chicken Scheme |
Junker
|
2024-01-07 12:34 (UTC) |
|
chicken-comparse
|
3-1 |
0 |
0.00
|
Schemely parser combinators for Chicken Scheme |
Junker
|
2024-01-03 02:25 (UTC) |
|
certbot-extra-formats-git
|
0.1-1 |
0 |
0.00
|
Combine and write 'Let's encrypt' certificates compatible with a given application. |
tallero
|
2023-08-28 18:05 (UTC) |
|
certbot-extra-formats
|
0.1.4-1 |
0 |
0.00
|
Combine and write 'Let's encrypt' certificates compatible with a given application. |
tallero
|
2023-08-22 00:40 (UTC) |
|
candycrisis
|
3.0.0-1 |
0 |
0.00
|
An exciting combination of pure action and puzzle gaming! |
grawlinson
|
2023-02-12 00:43 (UTC) |
|
btnx-git
|
r23.ef3f5b9-1 |
0 |
0.00
|
A daemon that enables rerouting of mouse button events through uinput as keyboard and other mouse button combinations |
orphan
|
2020-07-08 01:46 (UTC) |
|
boolector
|
3.2.2-2 |
2 |
0.00
|
Boolector is an efficient SMT solver for the quantifier-free theory of bit-vectors in combination with the quantifier-free extensional theory of arrays. |
Ice_Phoenix
|
2021-11-15 13:52 (UTC) |
|
bombardier-git
|
0.8.3.r0.g8a1d51d-4 |
1 |
0.00
|
The GNU Bombing utility (text game) |
daneel
|
2019-02-25 18:32 (UTC) |
|
bitwuzla-git
|
0.4.0.r51.g31330f2-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-05-14 17:30 (UTC) |
|
bitwuzla
|
0.4.0-2 |
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-05-14 17:30 (UTC) |
|
atomzombiesmasher-hib
|
2+h20161017-1 |
1 |
0.00
|
A 2D tactics/strategy game where you evacuate civilians from zombie-infested cities. (Humble Bundle/Store version) |
smls
|
2016-12-03 17:21 (UTC) |
|
atomdis-git
|
r55.de3760c-1 |
0 |
0.00
|
AtomBIOS disassembler + data structure dumper |
piernov
|
2024-02-18 12:53 (UTC) |
|
arc-faenza-icon-theme
|
20160605.r5.g664c05e-2 |
4 |
0.00
|
Combination of Arc icon theme and Faenza dark icon theme. Also includes some icons from other sets for icon sizes 22 and 24. |
oskari.rauta
|
2016-09-14 18:10 (UTC) |
|
android-x86-xorgproto
|
2024.1-1 |
0 |
0.00
|
combined X.Org X11 Protocol headers (Android x86 |
hipersayan_x
|
2024-03-29 13:00 (UTC) |
|
android-x86-64-xorgproto
|
2024.1-1 |
0 |
0.00
|
combined X.Org X11 Protocol headers (Android x86-64 |
hipersayan_x
|
2024-03-29 13:00 (UTC) |
|
android-armv7a-eabi-xorgproto
|
2024.1-1 |
0 |
0.00
|
combined X.Org X11 Protocol headers (Android armv7a-eabi |
hipersayan_x
|
2024-03-29 13:00 (UTC) |
|
android-aarch64-xorgproto
|
2024.1-1 |
0 |
0.00
|
combined X.Org X11 Protocol headers (Android aarch64 |
hipersayan_x
|
2024-03-29 12:59 (UTC) |
|
addr-book-combine-git
|
r9.11696f4-1 |
0 |
0.00
|
Combine multiple aerc-style address books into a single address book, with de-duplication and smart sorting. |
gilcu3
|
2024-04-25 12:01 (UTC) |