Skip to content
View harens's full-sized avatar

Organizations

@ImperialCollegeLondon @macports

Block or report harens

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

A fork of NewPipe that implements SponsorBlock and ReturnYouTubeDislike.

Java 3,198 92 Updated Mar 9, 2026

Easy to use OpenStreetMap editor for Android

Kotlin 4,588 420 Updated Jun 21, 2026

Sphinx extension to embedd a pdf file viewer in documentation webpages

Python 19 6 Updated Mar 25, 2025

Online conversor of reStructuredText to MyST

HTML 15 1 Updated Dec 19, 2022

Github Actions for publishing Sphinx HTML output to github pages

Shell 99 35 Updated Apr 16, 2026

a plugin for py.test that changes the default look and feel of py.test (e.g. progressbar, show tests that fail instantly)

Python 1,533 82 Updated Dec 12, 2025

A clean customizable documentation theme for Sphinx

Sass 3,517 379 Updated Jun 15, 2026

🛰️ Represent any GraphQL API as an interactive graph

TypeScript 8,147 555 Updated May 12, 2026

Lightweight clipboard manager for macOS

Swift 20,399 1,011 Updated Feb 10, 2026

An Pythonic alternative to John MacFarlane's pandocfilters, with extra helper functions

Python 553 64 Updated Feb 6, 2026

Mutation testing system

Python 1,327 154 Updated Jun 15, 2026
Rust 2 Updated Mar 15, 2023

Maintenance of the pointfree Hackage package.

Haskell 145 22 Updated Oct 16, 2024

Firefox CSS Theme - For dark theme lovers / More compact / Modular / Blur

CSS 1,701 77 Updated Jun 17, 2026

A browser extension that redirects popular sites to alternative privacy friendly frontends

JavaScript 3,918 141 Updated Jun 19, 2026

Firefox user.js for optimal privacy and security. Your favorite browser, but better.

JavaScript 10,559 253 Updated Jun 19, 2026

Visual Studio Code extension to run commands whenever a file is saved.

TypeScript 243 66 Updated Jan 9, 2026

A collection of modern/faster/saner alternatives to common unix commands.

32,941 830 Updated Sep 10, 2024
Go 6 1 Updated Oct 25, 2022

Iconic font aggregator, collection, & patcher. 3,600+ icons, 50+ patched fonts: Hack, Source Code Pro, more. Glyph collections: Font Awesome, Material Design Icons, Octicons, & more

CSS 63,441 3,907 Updated Mar 17, 2026

The next gen ls command

Rust 16,083 503 Updated Jun 3, 2026

This bash script checks the health status for either wired or wireless internet connection and, if it is failing, tries to fix it.

Shell 122 37 Updated Jan 13, 2025

A backup application for the Android Open Source Project.

Kotlin 1,761 97 Updated Jun 19, 2026

An open-source keyboard for Android which respects your privacy. Currently in beta.

Kotlin 8,423 669 Updated Jun 15, 2026

Open-source Android/Desktop remake of Civ V

Kotlin 10,836 1,852 Updated Jun 20, 2026

Catima, a Loyalty Card & Ticket Manager for Android

Java 1,615 241 Updated Jun 21, 2026
Python 79 5 Updated Dec 18, 2022

Linux virtual machines, with a focus on running containers

Go 21,316 905 Updated Jun 22, 2026

An Android application for streaming music from YouTube Music

Kotlin 9,449 1,277 Updated Jul 15, 2024

Computing with Python functions.

Python 4,368 460 Updated Jun 16, 2026
Next