harcokuppens Goto Github PK

code-remote

launch a dev-container from a local folder or git URL directly in visual studio code from the command line

continuous_publishing

Continous Publishing - Writing documentation source which is on each push to git automatically build and published online as a website and pdf. By tagging official versions can be automatically released.

coursegradingwithdomjudge

automatically grade submitted programs in a course using DOMjudge

develdocs

Development documentation

docker

docker-registry

The docker-registry is a command line utility than fetches image info from a remote docker registry without needing to download the image.

docker-remote-app

Docker image running a GUI application accessible over RDP. (with audio support)

dockerhub-description

A GitHub action to update a Docker Hub repository description from README.md

domjudgedockercompose

run DOMjudge easily in docker with docker compose

doxypypy

A more Pythonic version of doxypy, a Doxygen filter for Python.

dyndns

a dynamic dns server and client to easily retreive ip from a machine's name or mac-address

ev3devcontainer

dev container for developing ev3dev2 programs with the ev3dev2simulator viewable via rdp client

gtorxakis

harcokuppens.github.io

TorXakis

homebrew-core

🍻 Default formulae for the missing package manager for macOS

homebrew-cvc4

Homebrew formula for CVC4

homebrew-harcokuppens

harcokuppens own homebrew repository

keep-a-changelog

If you build software, keep a changelog.

lego-hub2hub-communication-hacks

LEGO MINDSTORMS Robot Inventor's Hub to Hub Communication Hacks

mirror

mirror two directories between either local or remote; where remote is either on ssh or docker backend

myst-parser

An extended commonmark compliant parser, with bridges to docutils/sphinx

pmwiki-cookbook-authusersaml

SAML authentication extension for AuthUser in PmWiki.

pmwiki-cookbook-people

pmwiki-cookbook-publications

presentationmodel

Explanation of MVC/MVP/PresentationModel and an example of PresentationModel in JavaFX

py-simple-audio

A simple audio playback Python extension - cross-platform, asynchronous, dependency-free

pyproject.bash

A wrapper script around python's venv and pip-tools to EASE python project maintenance.

raspberry_pi

repl_pybricks

Terminal program to start a REPL on a pybricks device.

rust-test