Paul's repositories

volume-steps-increase

Increases the number of volume steps on Android, using Magisk 17+

Language:ShellStargazers:18Issues:2Issues:0

scrcpy-vs

A wrapper around scrcpy for Visual Studio

Language:C#License:MPL-2.0Stargazers:17Issues:3Issues:6

virtual-media-keys

AutoHotkey scripts and UI for keyboards without media keys

Language:C#License:MPL-2.0Stargazers:7Issues:2Issues:2

DuckyProfileSwitcher

An automatic profile switcher for duckyPad.

Language:C#License:MPL-2.0Stargazers:5Issues:2Issues:1

Attic

An implementation of tactics in Agda

Language:AgdaLicense:MPL-2.0Stargazers:4Issues:1Issues:0

mono-material-mattermost

Monochrome Material-inspired themes for Mattermost

Language:JavaScriptLicense:NOASSERTIONStargazers:2Issues:1Issues:0

bfng

A simple Befunge interpreter written in C#

Language:C#License:MPL-2.0Stargazers:1Issues:1Issues:0

cgppm

Opens and converts CG PPM files

Language:C#License:MPL-2.0Stargazers:1Issues:1Issues:0

log-tablr

A React-based web application for displaying processed GOAL logs.

Language:TypeScriptLicense:MPL-2.0Stargazers:1Issues:1Issues:0

winsudo

Sudo-like functionality on Windows

Language:C#License:MPL-2.0Stargazers:1Issues:1Issues:0

zbook-g5-hotkeys

Maps the HP ZBook Studio G5 Collaboration Keyboard keys to something more useful

Language:AutoHotkeyLicense:MPL-2.0Stargazers:1Issues:1Issues:0

agda-mode-vscode

agda-mode on VS Code

Language:ReScriptLicense:MITStargazers:0Issues:0Issues:0

CLMR

Official PyTorch implementation of Contrastive Learning of Musical Representations

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:HTMLLicense:MPL-2.0Stargazers:0Issues:1Issues:0

Deconceal

Positions new windows in a way that minimizes overlap

Language:C#License:MPL-2.0Stargazers:0Issues:1Issues:0

duckyPad

Do-It-All Mechanical Macropad

Language:CLicense:MITStargazers:0Issues:0Issues:0

librio-ci-image

ASP .NET Core Build image for Docker with PowerShell

Language:ShellLicense:MITStargazers:0Issues:1Issues:0

Marionet

Control other computers in the local network

Language:C#License:MPL-2.0Stargazers:0Issues:1Issues:0

material-ui

React components for faster and easier web development. Build your own design system, or start with Material Design.

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

maven-pwsh-docker

A Docker image based on Maven, with PowerShell

License:MITStargazers:0Issues:1Issues:0

obs-sources

Collection of useful OBS sources

Language:HTMLLicense:MPL-2.0Stargazers:0Issues:1Issues:0

typed-route-builder

Build typed routes in TypeScript

Language:TypeScriptLicense:MPL-2.0Stargazers:0Issues:2Issues:0

Warpstone

Parser combinator forged deep within Ikit's forges in the Under-City from a shard of Morrslieb itself.

Language:C#License:MITStargazers:0Issues:0Issues:0
Language:CSSStargazers:0Issues:0Issues:0