tim-we

tabs-aside

A session/tab manager web extension for Firefox based on the Microsoft Edge feature.

web-ext-inspector

Website for inspecting the contents of web extensions

scrollbar-remover

Browser extension that hides the scrollbar

inspector-extension

Inspect extensions with web-ext-inspector

cave-webclient

intopt

Integer Optimization (ILP Solver)

8cave

The first game I created using JS.

high-riser

A simple game for the CAU Kiel high riser

py-radio

A music player simulating a radio written in Python.

cau-breakout

A simple Breakout game written for the CAU highriser (Kiel University)

cinnamon-spices-applets

Applets for the Cinnamon desktop

esbuild-plugin-svg-bundle

A plugin for esbuild that bundles SVG files into a single file.

google-portrait-fix

A Firefox web extension that fixes Google search results (layout) in portrait mode on Full HD monitors.

keep-downloading

A web-extension to auto resume failed downloads.

lightningcss

An extremely fast CSS parser, transformer, bundler, and minifier written in Rust.

mdn-content

The content behind MDN Web Docs

pdfjs

A Portable Document Format (PDF) generation library targeting both the server- and client-side.

postcss

Transforming styles with JS plugins

preact-router

:earth_americas: URL router for Preact.

prismjs-token-stream-transformer

pyghthouse

setup-java

Set up your GitHub Actions workflow with a specific version of Java

ssh-key-and-known-hosts-action

Setup private key and add host to known hosts

td-bisection

Graph bisection using tree decompositions

three.js

JavaScript 3D Library.

ts-dependory

A featherweight yet powerful dependency injection framework.

vitest

Next generation testing framework powered by Vite.

web-audio-api

The Web Audio API v1.0, developed by the W3C Audio WG

web-ext-download-service

webpack-glsl-minify

GLSL Preprocessor, Minifier, and Webpack Loader