|
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) |
|
browserpass-cachy-browser
|
3.7.2-2 |
0 |
0.00
|
Cachy Browser extension for Browserpass, browser extension for zx2c4's pass (password manager) |
orphan
|
2023-03-16 17:41 (UTC) |
|
browserpass-git
|
3.0.6.r27.c25e4ed-1 |
2 |
0.00
|
Native host app for Browserpass, browser extension for zx2c4's pass (password manager) (Git checkout) |
orphan
|
2020-01-11 23:53 (UTC) |
|
btnx-config-git
|
r30.0b30428-1 |
0 |
0.00
|
A configuration tool for btnx (Button Extension) |
orphan
|
2020-07-08 01:51 (UTC) |
|
bukubrow
|
5.4.0-1 |
3 |
0.00
|
Host application for the Bukubrow WebExtension |
samhh
|
2021-11-23 22:11 (UTC) |
|
bukubrow-bin
|
5.4.0-1 |
0 |
0.00
|
Host application for the Bukubrow WebExtension, precompiled |
samhh
|
2021-11-23 22:13 (UTC) |
|
byaccj
|
1.15-1 |
1 |
0.00
|
An extension of the Berkeley YACC-compatible parser generator. |
crisbal
|
2016-12-12 20:59 (UTC) |
|
caja-admin
|
0.0.5-1 |
2 |
0.00
|
Extension for Caja to do administrative operations |
FreaxMATE
|
2021-09-04 21:59 (UTC) |
|
caja-dropbox
|
1.28.0-1 |
35 |
0.00
|
Dropbox extension for Caja file manager |
twa022
|
2024-02-24 16:00 (UTC) |
|
calibre-plugin-kobo-driver
|
3.6.7-2 |
0 |
0.00
|
An extension of the existing KoboTouch driver provided with Calibre |
jforberg
|
2024-04-17 21:05 (UTC) |
|
canihazgnomeupdate-bin
|
0.1.2-1 |
0 |
0.00
|
check if all your extensions support a specific gnome version |
jon4hz
|
2024-03-25 13:53 (UTC) |
|
cargo-dfu
|
0.1.0-12 |
0 |
0.00
|
cargo extension for flashing embedded rust programs via dfu based on jacobrosenthals cargo-hf2 |
taotieren
|
2024-01-23 12:02 (UTC) |
|
cargo-flash
|
0.18.0-1 |
0 |
0.00
|
A cargo extension for programming microcontrollers |
Sanpi
|
2024-02-04 13:27 (UTC) |
|
carto-postgresql
|
0.18.5.r1.795d92d-1 |
0 |
0.00
|
PostgreSQL extension for CARTO |
javitonino
|
2017-02-03 17:13 (UTC) |
|
cerberus-logging
|
1428445270-1 |
1 |
0.00
|
Log-in logging extension for cerberus |
maandree
|
2015-06-11 17:07 (UTC) |
|
chez-scheme-git
|
9.5.r65.gd8c2704-4 |
15 |
0.00
|
Chez Scheme is an implementation of the Revised6 Report on Scheme (R6RS) with numerous language and programming environment extensions. (threaded build) |
ecraven
|
2020-02-19 17:19 (UTC) |
|
chibi-scheme-git
|
0.7.3.r658.g677ccdce-1 |
4 |
0.00
|
minimal R7RS scheme implementation for use as an extension language |
anergy
|
2019-01-18 14:45 (UTC) |
|
chicken-char-set-literals
|
0.4-1 |
0 |
0.00
|
A reader extension providing Gauche style literals for SRFI-14 char-sets for Chicken Scheme |
Junker
|
2024-01-03 02:24 (UTC) |
|
chicken-henrietta-cache
|
1.6.1-2 |
0 |
0.00
|
Fetch and cache extensions from various sources for Chicken Scheme Henrietta to consume |
Junker
|
2024-01-03 12:36 (UTC) |
|
chicken-sql-null
|
2.0-1 |
0 |
0.00
|
A convenience extension for representing SQL NULL values for Chicken Scheme |
Junker
|
2024-01-02 15:08 (UTC) |
|
chrome-pass-hostapp-git
|
0.5.0+4.r78.20240215.bdccc83-1 |
0 |
0.00
|
Interface programme needed by the 'chrome-pass' chrome extension for zx2c4's 'pass' password manager. |
dreieck
|
2024-03-24 14:44 (UTC) |
|
chromexup
|
0.5.4-1 |
6 |
0.00
|
External extension updater for Chromium based browsers |
xsmile
|
2023-10-19 15:09 (UTC) |
|
chromium-bypass-paywalls-git
|
547.9165b3e-1 |
1 |
0.00
|
Chromium extension to bypass paywalls |
yar
|
2021-02-10 20:15 (UTC) |
|
chromium-chromevox
|
latest-1 |
0 |
0.00
|
Causes the Chromium web browser to automatically install and update the ChromeVox screen reader extention. Note: This package does not contain the extension code. |
kyle
|
2015-08-21 13:51 (UTC) |
|
chromium-extension-adnauseam
|
1:3.21.0-1 |
1 |
0.00
|
An ad-blocker which silently simulates clicks on each blocked ad, confusing trackers |
gardenappl
|
2024-04-14 00:08 (UTC) |
|
chromium-extension-adnauseam-av
|
3.12.2-0 |
0 |
0.00
|
Chromium AdNauseam extension |
jholz88
|
2022-04-01 22:05 (UTC) |
|
chromium-extension-augmented-steam-git
|
v1.4.5.r854.gb5999e21-1 |
0 |
0.00
|
Chrome/Chromium extension for Augmented Steam - git/dev |
zacjor
|
2021-09-12 23:32 (UTC) |
|
chromium-extension-autoscroll
|
4.10-1 |
1 |
0.00
|
Customizable autoscroll support for Chromium |
orphan
|
2019-11-20 00:12 (UTC) |
|
chromium-extension-ban-checker-for-steam
|
1.2.2.1-1 |
0 |
0.00
|
Chrome/Chromium extension for Ban-Checker-for-Steam |
zacjor
|
2019-02-06 01:54 (UTC) |
|
chromium-extension-ban-checker-for-steam-git
|
r93.1472a44-1 |
0 |
0.00
|
Chrome/Chromium extension for Ban-Checker-for-Steam - git/dev |
zacjor
|
2019-02-05 05:01 (UTC) |
|
chromium-extension-better-mystudies
|
0.0.0-2 |
0 |
0.00
|
A chromium extension to improve ETHZ websites Resources |
noahvogt
|
2024-03-21 19:40 (UTC) |
|
chromium-extension-clearurls
|
1.27.0-3 |
0 |
0.00
|
a chromium extension to automatically remove tracking elements from URLs to help protect your privacy |
noahvogt
|
2024-03-13 10:31 (UTC) |
|
chromium-extension-clearurls-bin
|
1.27.0-3 |
0 |
0.00
|
a chromium extension to automatically remove tracking elements from URLs to help protect your privacy (binary version) |
noahvogt
|
2024-03-13 10:35 (UTC) |
|
chromium-extension-copy-url-on-hover
|
0.8.0-1 |
0 |
0.00
|
Copy URL On Hover - chromium extension |
noahvogt
|
2024-03-12 10:46 (UTC) |
|
chromium-extension-copy-url-on-hover-bin
|
0.8.0-1 |
0 |
0.00
|
Copy URL On Hover - chromium extension (binary version) |
noahvogt
|
2024-03-12 16:29 (UTC) |
|
chromium-extension-csgo-trader-git
|
r2171.902c85da-1 |
0 |
0.00
|
Chrome/Chromium extension for CSGO Trader - git/dev |
zacjor
|
2022-02-14 23:50 (UTC) |
|
chromium-extension-dark-reader-git
|
v4.9.52.r91.g7e0e7fc5e-1 |
1 |
0.00
|
Chrome/Chromium extension for Dark Reader - git/dev |
zacjor
|
2022-07-17 18:34 (UTC) |
|
chromium-extension-dashlane
|
latest-1 |
1 |
0.00
|
The password manager, perfected |
orphan
|
2019-11-19 23:44 (UTC) |
|
chromium-extension-decentraleyes
|
2.0.19-1 |
1 |
0.00
|
Local emulation of Content Delivery Networks |
noahvogt
|
2024-04-01 00:12 (UTC) |
|
chromium-extension-history-disabler
|
2.1.0-3 |
0 |
0.00
|
disables history by deleting history when responsible tabs are closed - chromium extension |
noahvogt
|
2024-03-12 11:25 (UTC) |
|
chromium-extension-history-disabler-bin
|
2.1.0-3 |
0 |
0.00
|
disables history by deleting history when responsible tabs are closed - chromium extension (binary version) |
noahvogt
|
2024-03-12 11:22 (UTC) |
|
chromium-extension-https-everywhere
|
2022.5.24-1 |
10 |
0.00
|
An extension that encrypts your communications with websites that offer HTTPS |
noahvogt
|
2022-09-07 08:27 (UTC) |
|
chromium-extension-ipfs-companion-av
|
2.19.1-0 |
0 |
0.00
|
Chromium IPFS Companion extension |
jholz88
|
2022-04-02 00:35 (UTC) |
|
chromium-extension-keepassxc-browser
|
1.9.0.3-1 |
4 |
0.00
|
KeePassXC Browser Integration - chromium extension |
noahvogt
|
2024-04-19 22:24 (UTC) |
|
chromium-extension-keepassxc-browser-bin
|
1.9.0.3-1 |
0 |
0.00
|
KeePassXC Browser Integration - chromium extension (binary version) |
noahvogt
|
2024-04-19 22:24 (UTC) |
|
chromium-extension-privacy-redirect-av
|
1.1.49-1 |
0 |
0.00
|
Chromium Privacy Redirect extension |
jholz88
|
2022-04-11 19:08 (UTC) |
|
chromium-extension-privacybadger
|
2024.2.6-3 |
2 |
0.00
|
Block third party tracking in your browser |
noahvogt
|
2024-03-13 02:18 (UTC) |
|
chromium-extension-reddit-enhancement-suite-git
|
v5.22.6.r47.g6ec112ceb-1 |
0 |
0.00
|
Chrome/Chromium extension for Reddit Enhancement Suite - git/dev |
zacjor
|
2022-07-05 04:54 (UTC) |
|
chromium-extension-return-youtube-dislike
|
3.0.0.16-1 |
0 |
0.00
|
Return YouTube Dislike - chromium extension |
noahvogt
|
2024-04-18 21:51 (UTC) |
|
chromium-extension-return-youtube-dislike-bin
|
3.0.0.12-1 |
0 |
0.00
|
Return YouTube Dislike - chromium extension (binary version) |
noahvogt
|
2023-10-23 13:52 (UTC) |