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,205 93 Updated Jul 7, 2026

Easy to use OpenStreetMap editor for Android

Kotlin 4,716 436 Updated Jul 23, 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 100 34 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,531 83 Updated Dec 12, 2025

A clean customizable documentation theme for Sphinx

Sass 3,544 383 Updated Jul 20, 2026

🛰️ Represent any GraphQL API as an interactive graph

TypeScript 8,157 556 Updated May 12, 2026

Lightweight clipboard manager for macOS

Swift 20,854 1,065 Updated Jul 23, 2026

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

Python 555 64 Updated Feb 6, 2026

Mutation testing system

Python 1,356 159 Updated Jul 16, 2026
Rust 2 Updated Mar 15, 2023

Maintenance of the pointfree Hackage package.

Haskell 147 22 Updated Oct 16, 2024

Firefox CSS Theme - Dark theme / More compact / Modular / Blur

CSS 1,715 76 Updated Jul 22, 2026

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

JavaScript 3,968 143 Updated Jun 23, 2026

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

JavaScript 10,668 254 Updated Jul 24, 2026

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

TypeScript 247 66 Updated Jan 9, 2026

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

32,972 829 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,813 3,929 Updated Jul 22, 2026

The next gen ls command

Rust 16,144 506 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,788 99 Updated Jun 19, 2026

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

Kotlin 8,508 679 Updated Jul 22, 2026

Open-source Android/Desktop remake of Civ V

Kotlin 10,998 1,879 Updated Jul 23, 2026

Catima, a Loyalty Card & Ticket Manager for Android

Java 1,639 249 Updated Jul 24, 2026
Python 79 5 Updated Dec 18, 2022

Linux virtual machines, with a focus on running containers

Go 21,559 931 Updated Jul 24, 2026

An Android application for streaming music from YouTube Music

Kotlin 9,467 1,285 Updated Jul 15, 2024

Computing with Python functions.

Python 4,376 468 Updated Jul 23, 2026
Next