Skip to content
View yrke's full-sized avatar
12 followers · 34 following

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@f-klubben @TAPAAL @DEIS-Tools @Ecdar @opaal-modelchecker @UPPAALModelChecker @CEDARDK

Block or report yrke

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

  • swingExampleTest Public

    Java Updated Sep 11, 2023

  • tapaal-gui Public

    Forked from TAPAAL/tapaal-gui
    Java Updated Aug 28, 2023

  • AAUWebMgmt Public

    A web frontend for IT magnagement tasks build for IT Services at Aalborg University

    C# 1 BSD 2-Clause "Simplified" License Updated Dec 8, 2022

  • freeze-pom Public

    Java MIT License Updated Aug 24, 2022

  • actions-play Public

    Github Actions Playground and Testing

    MIT License Updated Aug 22, 2022

  • j-Ecdar Public

    Forked from NicklasHugoy/j-Ecdar

    A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in Java.

    Java MIT License Updated Mar 20, 2022

  • verifypn Public

    Forked from TAPAAL/verifypn
    C++ GNU General Public License v3.0 Updated Feb 8, 2022

  • verifydtapn Public

    Forked from TAPAAL/verifydtapn
    C++ Updated Dec 6, 2021

  • verifytapn Public

    Forked from TAPAAL/verifytapn

    VerifyTAPN is a stand-alone verification engine for timed-arc Petri nets, developed for the verification tool TAPAAL.

    C++ GNU General Public License v2.0 Updated Nov 22, 2021

  • tgstota Public

    Lib to convert Task Graph (tgs) to UPPAAL timed automata (TA)

    Java 1 BSD 2-Clause "Simplified" License Updated Jun 10, 2021

  • ptrie Public

    Forked from petergjoel/ptrie

    A memory efficient hashfree hashmap implementation

    C++ GNU Lesser General Public License v3.0 Updated Apr 21, 2021

  • seeding-from-windows Public

    Forked from dicekeys/seeding-from-windows
    C# MIT License Updated Mar 21, 2021

  • AalWiNes Public

    Forked from DEIS-Tools/AalWiNes
    C++ GNU General Public License v3.0 Updated Aug 18, 2020

  • hugo-kickstarter Public template

    HTML MIT License Updated Aug 4, 2020

  • yrke Public

    Updated Jul 13, 2020

  • hugo-theme-learn Public

    Forked from matcornic/hugo-theme-learn

    Porting Grav Learn theme to Hugo

    CSS MIT License Updated May 2, 2020

  • libstrategy Public

    Forked from DEIS-Tools/libstrategy
    C++ GNU Lesser General Public License v3.0 Updated Feb 14, 2020

  • libprlearn Public

    Forked from DEIS-Tools/libprlearn

    A Partition Refinement Based Learning-library

    C++ GNU Lesser General Public License v3.0 Updated Feb 3, 2020

  • AAURedirector Public

    C# Updated Jul 11, 2017

  • UserInfoHTA Public archive

    A small HTA application to quickly display AD information. Formerly used for IT support at Aalborg University.

    Batchfile MIT License Updated Sep 4, 2016

  • WindowsPrefTests Public

    A framework for creating windows performance measurements, can be used for establishing baseline or testing changes

    PowerShell Updated Oct 16, 2015