Harco Kuppens's repositories
xenomai3_rpi_gpio
handling gpio input,read and interrupts on the raspberry pi 1/zero, 2, 3
DOMjudgeDockerCompose
run DOMjudge easily in docker with docker compose
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.
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.
dockerhub-description
A GitHub action to update a Docker Hub repository description from README.md
dyndns
a dynamic dns server and client to easily retreive ip from a machine's name or mac-address
harcokuppens.github.io
TorXakis
ev3devcontainer
dev container for developing ev3dev2 programs with the ev3dev2simulator viewable via rdp client
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.
mirror
mirror two directories between either local or remote; where remote is either on ssh or docker backend
PmWiki-Cookbook-AuthUserSaml
SAML authentication extension for AuthUser in PmWiki.
PresentationModel
Explanation of MVC/MVP/PresentationModel and an example of PresentationModel in JavaFX
repl_pybricks
Terminal program to start a REPL on a pybricks device.
sphinx-action
Github action that builds docs using sphinx and places errors inline
sphinx_rtd_theme
Sphinx theme for readthedocs.org
SupportEclipse
Support for editing TorXakis files in Eclipse
thonny-ev3dev
This thonny-ev3dev package is a plug-in which adds EV3 support for Thonny 2. For Thonny 3 see: https://github.com/ev3dev-python-tools/thonny-ev3dev
TorXakis
A tool for Model Based Testing
TorXakisEclipsePluginUpdateSite
The TorXakis Eclipse Plug-In provides a specialized TorXakisDsl editor which helps you editing TorXakis model files. This specialized editor will show a TorXakis model with syntax highlighting and will show errors when something is wrong in the syntax of the model.