Skip to content
View olijzenga's full-sized avatar
  • Solar Team Twente
  • Netherlands

Block or report olijzenga

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. bdd-parity-game-solver bdd-parity-game-solver Public

    A symbolic parity game solver which implements two fixpoint-iteration algorithms capable of deriving winning strategies symbolically. Used for my thesis for my bachelor's degree.

    Python 1

  2. wger wger Public

    Forked from wger-project/wger

    Self hosted FLOSS fitness/workout, nutrition and weight tracker written with Django

    Python

  3. client-generator client-generator Public

    Forked from api-platform/create-client

    Generate React or Vue.js-based Progressive Web Apps from an Hydra-enabled API. Also support React Native.

    JavaScript

  4. ARJACLM ARJACLM Public

    Automated search-based program repair using code language models.

    Java

  5. CLM-Evaluation CLM-Evaluation Public

    Python