Giters
zoophag

zoophag

Geek Repo

0

followers

0

following

8

stars

Github PK Tool:Github PK Tool

zoophag's starred repositories

Enterprise-Architect

scripts and other code snippets to extend Sparxs Enterprise Architect

Language:VBScriptLicense:BSD-2-ClauseStargazers:47Issues:0Issues:0

OPC-UA-MockupBuildings

Creating Mockup-Buildings to be integrated into the SESSIM/MEMAP-Plattform

Language:PythonStargazers:3Issues:0Issues:0

SmartGridCoSimulation

Co-Simulation Framework for Smart Energy System Modelling and Analysis. Currently used and developed for MEMAP - a platform for energy system planning, optimisation and control.

Language:JavaLicense:Apache-2.0Stargazers:17Issues:0Issues:0

mbeddr.formal

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.

Language:JetBrains MPSLicense:Apache-2.0Stargazers:23Issues:0Issues:0

dlt-viewer

Diagnostic Log and Trace viewing program

Language:C++License:NOASSERTIONStargazers:413Issues:0Issues:0

as

automotive software(OSEK & AUTOSAR) and its tool-chain

Language:CStargazers:966Issues:0Issues:0

arduino-cmake

Arduino CMake Build system

Language:ShellStargazers:644Issues:0Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:10013Issues:0Issues:0