Ruben Vandeginste's starred repositories
markdownload
A Firefox and Google Chrome extension to clip websites and download them into a readable markdown file.
certificates
š”ļø A private certificate authority (X.509 & SSH) & ACME server for secure automated certificate management, so you can use TLS everywhere & SSO for SSH.
CrimsonStainedLands
A MUD Server in C# Based on ROM
connective-plugin-linux
A replacement for the Connective Plugin which is used on several websites to log in or sign documents using a card reader and an electronic identity card.
imagebuilder
velvet os - simple script framework to build ubuntu 22.04 lts jammy (in older versions also 20.04 lts focal) and debian 12 bookworm (in older versions also 11 bullseye) bootable usb / sd card images for some arm and intel devices - lots of prebuilt images as well
assembly-version
dotnet tool for reading assembly information
sql_profiler
Microsoft SQL-Server Profiler (command-line) for Linux/Mac/Windows (works over ssh)
csharp-language-server
Roslyn-based LSP language server for C#
AnotherTerm-scripts
Useful scripts for Another Term local terminal.
AnotherTerm
Local PTY, USB and Bluetooth serial ports, SSH and Telnet terminal client for Android. Xwayland support (in dev only).
nhibernate-core
NHibernate Object Relational Mapper
docker-windows-core-insider-2016-vagrant
a Docker on Windows Server Core Insider 2016 Vagrant environment for playing with Windows containers
gtk3-nocsd
A hack to disable gtk+ 3 client side decoration