HelgeS/PyConA
A cpmpy-based library for constraint acquisition.
Repositories
HelgeS/helges.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
HelgeS/varde26-uvl-learner
UVL Learner project @ VARDE 2026
HelgeS/zotero-webviewer
A static website generator for browsing Zotero literature collections
HelgeS/superhuman-chess-repro
HelgeS/ISSTA24_MAT
HelgeS/resist
Inria/Simula team RESIST_EA about Intelligent Systems
HelgeS/learn-x-the-hard-way
Clone of https://gitorious.org/learn-x-the-hard-way/learn-x-the-hard-way - See also http://progmofo.com/
HelgeS/predml4copboundaries
Code for Predictive Machine Learning of Objective Boundaries for Solving COPs
HelgeS/lsencode
Mirror of Carla P. Gomes' lsencode (Generator of Quasigroup Completion Problem and related problems (C code))
HelgeS/reproducibility-associativity
Reproducibility: software experiments with damn simple associativity and deep variability
HelgeS/RESIST_perf_clustering
trying hierarchical clustering over performance matrix
HelgeS/tetraband
Implementation of "Adaptive Metamorphic Testing with Contextual Bandits"
HelgeS/choco-allen
Filtering algorithms for Allen's relations
HelgeS/Hierarchical-Localization
Visual localization made easy with hloc
HelgeS/lidar_bev
A ROS package for LiDAR's Bird's Eye View projection.
HelgeS/rustlings
HelgeS/AlphaPose
Real-Time and Accurate Full-Body Multi-Person Pose Estimation&Tracking System
HelgeS/fzn-domain-extract
Extracts the domains of the decision variables from a FlatZinc model.
HelgeS/JS-son
Light-weight BDI agent library for JavaScript
HelgeS/mcap_rotational_diversity
Source code for paper "Multi-Cycle Assignment Problems with Rotational Diversity"
HelgeS/torch-ac
Recurrent and multi-process PyTorch implementation of deep reinforcement Actor-Critic algorithms: A2C and PPO
HelgeS/minizinc-benchmarks
A suite of MiniZinc benchmarks.
HelgeS/contextualbandits
Python implementations of contextual bandits algorithms
HelgeS/gym-minigrid
Minimalistic gridworld environment for OpenAI Gym
HelgeS/torch-rl
A recurrent, multi-process and readable PyTorch implementation of the deep reinforcement algorithms A2C and PPO
HelgeS/VerifyML
HelgeS/mzn2feat
Feature extractor for MiniZinc and XCSP models
HelgeS/singularity-mzn-solvers
HelgeS/code2vec
MLonCode community effort to implement Learning Distributed Representations of Code (https://arxiv.org/pdf/1803.09473.pdf)