Bob van der Linden (@bobvanderlinden)

Top repositories

1

sharpfilesystem

A virtual file system for .NET written in C#
C#
258
star
2

probot-auto-merge

A GitHub App built with Probot that automatically merges pull requests
TypeScript
199
star
3

nixpkgs-ruby

A Nix repository with all Ruby versions being kept up-to-date automatically
Nix
113
star
4

nixos-config

My personal NixOS and home-manager configuration
Nix
52
star
5

nix-home

My Nix home-manager configuration
Nix
27
star
6

distscraper

A scraper that retrieves install/live images (.iso files) from different distributions
JavaScript
18
star
7

combine-pull-requests

A GitHub action that combines multiple labelled pull requests onto the current working copy
Shell
11
star
8

mbrfs

A FUSE-filesystem that provides the partitions from a disk device or image.
CMake
8
star
9

pocnix

A proof-of-concept cli for Nix
JavaScript
6
star
10

harhar

A CLI tool to record, replay, manipulate and analyze HTTP archive (HAR) files
JavaScript
6
star
11

streamingwindowsinstall-livecd

An experimental way to install Windows by lazily mounting the Windows ISO from Microsoft.com
Shell
4
star
12

nixpkgs-ruby-updater

JavaScript
3
star
13

templates

Nix
3
star
14

hakkathon

Kotlin
2
star
15

fruit-mamba

A game about a snake that likes fruit for Ludum Dare 45
JavaScript
2
star
16

touchlogo-cap1188

C++
2
star
17

node-machinetalk

A client-side Node API for remotely controlling/monitoring Machinekit instances through Machinetalk
JavaScript
2
star
18

semantic-release-pull-request-analyzer

A plugin for semantic-release that analyzes GitHub pull request labels
JavaScript
2
star
19

sweethomewebxr

SweetHome3D Viewer using WebXR
TypeScript
2
star
20

cycle-remote

An experiment using Cycle.JS and synchronizing state/actions between peers
JavaScript
1
star
21

webinker

JavaScript
1
star
22

browsegpt

Chrome-extension that gives OpenAI GPT control over your browser session
TypeScript
1
star
23

serioussurgery-godot

A Godot implementation of Serious Surgery
GDScript
1
star
24

google-spotify-transfer

A tool to copy favorites from Google Music to Spotify.
JavaScript
1
star
25

mitmproxy2har

Python
1
star
26

vrb

Mirror of http://vrb.sourceforge.net/ with cross-platform additions
C
1
star
27

mitmjson

Python
1
star