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,191 95 Updated Mar 9, 2026

Easy to use OpenStreetMap editor for Android

Kotlin 4,583 419 Updated Jun 12, 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,531 82 Updated Dec 12, 2025

A clean customizable documentation theme for Sphinx

Sass 3,514 379 Updated Jun 8, 2026

🛰️ Represent any GraphQL API as an interactive graph

TypeScript 8,143 555 Updated May 12, 2026

Lightweight clipboard manager for macOS

Swift 20,292 998 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,319 153 Updated Jun 10, 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,698 77 Updated Jun 14, 2026

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

JavaScript 3,906 140 Updated May 28, 2026

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

JavaScript 10,525 254 Updated Jun 13, 2026

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

TypeScript 242 66 Updated Jan 9, 2026

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

32,937 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,339 3,901 Updated Mar 17, 2026

The next gen ls command

Rust 16,063 502 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,754 97 Updated Jun 4, 2026

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

Kotlin 8,417 666 Updated Jun 13, 2026

Open-source Android/Desktop remake of Civ V

Kotlin 10,502 1,833 Updated Jun 14, 2026

Catima, a Loyalty Card & Ticket Manager for Android

Java 1,610 240 Updated Jun 14, 2026
Python 79 5 Updated Dec 18, 2022

Linux virtual machines, with a focus on running containers

Go 21,231 897 Updated Jun 14, 2026

An Android application for streaming music from YouTube Music

Kotlin 9,446 1,272 Updated Jul 15, 2024

Computing with Python functions.

Python 4,364 459 Updated Jun 13, 2026
Next