Skip to content
@DEIS-Tools

DEIS Tools

The Distributed, Embedded and Intelligent Systems group @ Department of Computer Science Aalborg University (DEIS)

Pinned Loading

  1. AalWiNes AalWiNes Public

    C++ 11 6

  2. H-Uppaal H-Uppaal Public

    Java 8 4

  3. PDAAAL PDAAAL Public

    PushDown Automata - AALborg

    C++ 5 1

  4. libstrategy libstrategy Public

    C++ 3 2

  5. libprlearn libprlearn Public

    A Partition Refinement Based Learning-library

    C++ 3 4

Repositories

Showing 10 of 23 repositories
  • DEIS-MCC Public
    DEIS-Tools/DEIS-MCC’s past year of commit activity
    Shell 1 MIT 5 0 1 Updated Jul 5, 2024
  • CLAIRE-library Public
    DEIS-Tools/CLAIRE-library’s past year of commit activity
    C++ 0 0 0 0 Updated Jul 1, 2024
  • WordAAL Public

    Interactive UPPAAL playing Wordle demo

    DEIS-Tools/WordAAL’s past year of commit activity
    Svelte 0 0 1 0 Updated Jun 24, 2024
  • MAES Public

    MAES is a tool for simulating and testing exploration algorithms in a realistic continuous space environment. Maes is visualised and physics driven using the Unity Game Engine. Maes was created as part of a Master's Thesis at Aalborg University, Denmark, on the subject of distributed systems.

    DEIS-Tools/MAES’s past year of commit activity
    C# 9 GPL-3.0 3 4 0 Updated Jun 19, 2024
  • strategoutil Public

    Utility functions to interface UPPAAL Stratego with python

    DEIS-Tools/strategoutil’s past year of commit activity
    Python 6 1 5 0 Updated Jun 18, 2024
  • uppaal-models Public

    Uppaal Model Repository

    DEIS-Tools/uppaal-models’s past year of commit activity
    q 6 3 0 2 Updated May 31, 2024
  • MoniTAal Public
    DEIS-Tools/MoniTAal’s past year of commit activity
    C++ 2 LGPL-3.0 2 0 0 Updated May 23, 2024
  • PARDIBAAL Public

    Difference Bounded Matrix Library

    DEIS-Tools/PARDIBAAL’s past year of commit activity
    C++ 4 LGPL-3.0 0 0 1 Updated Mar 4, 2024
  • PDAAAL Public

    PushDown Automata - AALborg

    DEIS-Tools/PDAAAL’s past year of commit activity
    C++ 5 LGPL-3.0 1 0 0 Updated Jan 3, 2024
  • libstrategy Public
    DEIS-Tools/libstrategy’s past year of commit activity
    C++ 3 LGPL-3.0 2 1 0 Updated Dec 28, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…