DEIS Tools (@DEIS-Tools)
Guthub

DEIS-Tools

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    69
  • Global Org. Rank 68,595 (Top 22 %)
  • Registered almost 5 years ago
  • Most used languages
    C++
         53.8 %
    Python
         15.4 %
    Java
         7.7 %
    q     7.7 %
    Shell
         7.7 %
    C#
         7.7 %
  • Location πŸ‡©πŸ‡° Denmark
  • Country Total Rank 1,170
  • Country Ranking
    q     1
    C++
         108
    Java
         234
    C#
         355
    Shell
         492
    Python
         522

Top repositories

1

AalWiNes

C++
11
star
2

MAES

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.
C#
9
star
3

H-Uppaal

Java
8
star
4

uppaal-models

Uppaal Model Repository
q
7
star
5

DistributedExercisesAAU

Python
7
star
6

strategoutil

Utility functions to interface UPPAAL Stratego with python
Python
6
star
7

PDAAAL

PushDown Automata - AALborg
C++
5
star
8

PARDIBAAL

Difference Bounded Matrix Library
C++
4
star
9

libstrategy

C++
3
star
10

libprlearn

A Partition Refinement Based Learning-library
C++
3
star
11

Battery-Aware-Modelling-and-Analysis-of-a-Sigfox-based-IoT-Network-using-UPPAAL-SMC

2
star
12

MoniTAal

C++
2
star
13

ns3-sigfox

This repository contains the code for the Sigfox module for network simulator 3
C++
1
star
14

DEIS-MCC

Shell
1
star