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 9 3

  3. PDAAAL PDAAAL Public

    PushDown Automata - AALborg

    C++ 8 1

  4. libstrategy libstrategy Public

    C++ 3 2

  5. libprlearn libprlearn Public

    A Partition Refinement Based Learning-library

    C++ 3 4

  6. DEIS-MCC DEIS-MCC Public

    Shell 4 5

Repositories

Showing 10 of 28 repositories
  • stabaal Public

    Dynamic Stabilizer Circuit Simulation

    DEIS-Tools/stabaal's past year of commit activity
    C++ 0 0 0 3 Updated Oct 23, 2026
  • uppaal-models Public

    Uppaal Model Repository

    DEIS-Tools/uppaal-models's past year of commit activity
    q 12 3 0 2 Updated Oct 15, 2026
  • libprlearn Public

    A Partition Refinement Based Learning-library

    DEIS-Tools/libprlearn's past year of commit activity
    C++ 3 LGPL-3.0 4 0 1 Updated Jul 9, 2026
  • libstrategy Public
    DEIS-Tools/libstrategy's past year of commit activity
    C++ 3 LGPL-3.0 2 1 0 Updated Jul 2, 2026
  • ptrie Public Forked from petergjoel/ptrie

    A memory efficient hashfree hashmap implementation

    DEIS-Tools/ptrie's past year of commit activity
    C++ 0 LGPL-3.0 4 0 0 Updated Jul 1, 2026
  • rossa Public

    Rotor Optical Switch Simulation Automation

    DEIS-Tools/rossa's past year of commit activity
    HTML 0 0 0 0 Updated Apr 20, 2026
  • DEIS-MCC Public
    DEIS-Tools/DEIS-MCC's past year of commit activity
    Shell 4 MIT 5 1 0 Updated Mar 20, 2026
  • 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# 19 GPL-3.0 7 4 0 Updated Aug 8, 2025
  • MoniTAal Public
    DEIS-Tools/MoniTAal's past year of commit activity
    C 3 LGPL-3.0 2 0 0 Updated Mar 24, 2025
  • CAAL Public Forked from CAAL/CAAL

    CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes expressed in the well-known CCS language (Calculus of Communicating Systems).

    DEIS-Tools/CAAL's past year of commit activity
    TypeScript 3 MIT 14 0 0 Updated Feb 12, 2025
View all repositories

Most used topics

Loading…