☆16Oct 26, 2022Updated 3 years ago
Alternatives and similar repositories for HistoryExtension
Users that are interested in HistoryExtension are comparing it to the libraries listed below
Sorting:
- A replacement for the default Chrome downloads shelf☆24Apr 28, 2022Updated 3 years ago
- Simple colorful icon pack for android☆27Jul 6, 2022Updated 3 years ago
- A custom web component for efficiently rendering lists with large number of elements.☆13Jun 17, 2022Updated 3 years ago
- This is a mirror of microG's F-Droid repository☆29Dec 13, 2025Updated 3 months ago
- Parse OCR result files for pagenos, tables of contents, etc.☆14Nov 30, 2011Updated 14 years ago
- Ekeko is a tool that helps you save all of your favorited memes, videos and other online resources.☆15Oct 27, 2022Updated 3 years ago
- A demonstration transnational register of beneficial ownership data from the UK, Denmark, Slovakia and Armenia☆19Oct 30, 2024Updated last year
- ☆12Jul 25, 2023Updated 2 years ago
- Automate a full backup of your Spotify Library every day☆15Mar 9, 2026Updated last week
- Searching for misspelling, bad grammar, and violations of the Manual of Style in Wikipedia☆13Mar 9, 2026Updated last week
- A Baysian calculator and visualization tool implemented in HTML, CSS, and JavaScript☆23Aug 4, 2012Updated 13 years ago
- ☆14Feb 28, 2017Updated 9 years ago
- A plugin for Photoshop that adds functionality to save the document as HEIC format.☆10Dec 4, 2025Updated 3 months ago
- Firefox Addon to automatically select the save folder (local destination folder) based on filters.☆12Apr 16, 2016Updated 9 years ago
- Simple and lightweight, yet polished and powerful Android video player based on ExoPlayer☆20Jan 9, 2026Updated 2 months ago
- Near realtime Dashboard for Willow server☆13Dec 12, 2023Updated 2 years ago
- Python tools for parsing Wikipedia/MediaWiki database dumps☆23Feb 28, 2013Updated 13 years ago
- simple script to convert web resources to a single warc file☆23May 11, 2023Updated 2 years ago
- Greasemonky userscript to fix missing "Emails" search in Gmail☆12Nov 6, 2025Updated 4 months ago
- Software Agents Pacman project, implementing AI for Pacman in Python and PDDL☆12Oct 12, 2015Updated 10 years ago
- This plugin integrates the Minify engine (http://code.google.com/p/minify/) into your WordPress blog. Once enabled, this plugin will com…☆13Jan 4, 2016Updated 10 years ago
- Amplifier AMP/Canonical switcher Chrome Extension☆10Mar 12, 2018Updated 8 years ago
- ☆13Mar 12, 2018Updated 8 years ago
- A simple Alexa skill for controlling MPD☆11Jan 22, 2024Updated 2 years ago
- ☆18Oct 9, 2018Updated 7 years ago
- Browser extension downloads a current web page as a single file.☆16Jan 22, 2021Updated 5 years ago
- Liturgia de las Horas☆10Updated this week
- A fully reworked fork of View-Image-Info-Chrome extension☆16Jan 24, 2024Updated 2 years ago
- A user script that lets you quickly switch Google search to different region.☆16Aug 9, 2024Updated last year
- Ansible script to mount additional volume☆16Jun 9, 2016Updated 9 years ago
- ☆12Jan 27, 2024Updated 2 years ago
- GMS Doze - Bloquea 'Find My Device'☆12May 7, 2023Updated 2 years ago
- AMP Browser Extension☆16Jan 14, 2020Updated 6 years ago
- Backup script for Unraid using rsync, supports local/remote, hardlink versioning, and deletion tracking☆18Jul 2, 2025Updated 8 months ago
- ☆10Aug 17, 2024Updated last year
- Plot bias, variance and overall accuracy for a boosted ID3 decision tree on the SPECT Heart dataset.☆13Jun 20, 2019Updated 6 years ago
- Google Scripts Project to generate a RSS feed based on labeled emails in your GMail Account☆17Apr 23, 2025Updated 10 months ago
- Awesome list dedicated to digital and data preservation tools, sources, services and so on.☆34Mar 9, 2026Updated last week
- Utility template class for smartly loading WordPress code libraries☆13Jun 27, 2023Updated 2 years ago