zoophag

zoophag's Stars

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.3k1815.5k1.5k

• autoas/as

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

  Language:C97714744478

• queezythegreat/arduino-cmake

  Arduino CMake Build system

  Language:Shell6485299217

• COVESA/dlt-viewer

  Diagnostic Log and Trace viewing program

  Language:C++43545203241

• gobravedave/Enterprise-Architect

  scripts and other code snippets to extend Sparxs Enterprise Architect

  Language:VBScript5251612

• mbeddr/mbeddr.formal

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

  Language:JetBrains MPS2393414

• SES-fortiss/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:Java1851049

• SES-fortiss/OPC-UA-MockupBuildings

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

  Language:Python3401