Klaas Gadeyne's repositories
BugzillaMigrate
Perl project to parse Bugzilla XML exports and import them to GitHub Issues
bvr
Base Variability Resolution (BVR) metamodel, engine and editors
chocosolver
A backend for Clafer using the Choco4 solver.
clafer
Clafer is a lightweight modeling language
ClaferIDE
Web-Based Development Environment for Clafer
claferIG
Support for reasoning on Clafer models by instantiation and counter example generation.
FreeCAD-Timber
A Timber module for FreeCAD
gitignore
A collection of useful .gitignore templates
greycat-samples
A sample repo for how to start with GreyCat
homebrew-core
:beers: Core formulae for the Homebrew package manager
library-training
The Library Training Material (Eclipse Papyrus Oxygen Year 2017)
LinkedDataHub
Data-driven Knowledge Graph management system. Apache license.
massif
Massif is a Matlab Simulink Integration Framework for Eclipse
minizinc-examples
small MiniZinc examples demonstrating various language features
octave_kernel
An Octave kernel for IPython
OsmAnd-myAdditions
My additions to Osmand like scripts, maps and the like
SemCPS
Integrating Industry 4.0 related standards, AutomationML by means of Probabilistic Soft Logic (PSL) and Ontologies
UML-Teaching
:mortar_board: A Papyrus UML Architecture ready to be pruned
wpacked
:package: WPacked is a WordPress development starter kit with portability and immediate local development in mind.