Bob van der Linden

sharpfilesystem. A virtual file system for .NET written in C#

probot-auto-merge. A GitHub App built with Probot that automatically merges pull requests

nixpkgs-ruby. A Nix repository with all Ruby versions being kept up-to-date automatically

nixos-config. My personal NixOS and home-manager configuration

nix-home. My Nix home-manager configuration

aw-watcher-window-hyprland. ActivityWatch watcher for Hyprland

distscraper. A scraper that retrieves install/live images (.iso files) from different distributions

combine-pull-requests. A GitHub action that combines multiple labelled pull requests onto the current working copy

semantic-release-pull-request-analyzer. A plugin for semantic-release that analyzes GitHub pull request labels

mbrfs. A FUSE-filesystem that provides the partitions from a disk device or image.

pocnix. A proof-of-concept cli for Nix

sweethomewebxr. SweetHome3D Viewer using WebXR

streamingwindowsinstall-livecd. An experimental way to install Windows by lazily mounting the Windows ISO from Microsoft.com

harhar. A CLI tool to record, replay, manipulate and analyze HTTP archive (HAR) files

templates. Nix

nixpkgs-ruby-updater. JavaScript

touchlogo-cap1188. C++

fruit-mamba. A game about a snake that likes fruit for Ludum Dare 45

hakkathon. Kotlin

node-machinetalk. A client-side Node API for remotely controlling/monitoring Machinekit instances through Machinetalk

mitmjson. Python

machinekit. C

mitmproxy2har. Python

browsegpt. Chrome-extension that gives OpenAI GPT control over your browser session

micromacro3d. This is an experiment with Kenney's 3D tilesets.

serioussurgery-godot. A Godot implementation of Serious Surgery

machinetalk-protobuf. Protobuf declarations for machinekit messages

cycle-remote. An experiment using Cycle.JS and synchronizing state/actions between peers

webinker. JavaScript

probot. 🤖 A framework for building GitHub Apps to automate and improve your workflow

vrb. Mirror of http://vrb.sourceforge.net/ with cross-platform additions

google-spotify-transfer. A tool to copy favorites from Google Music to Spotify.