Skip to content

@kieler Kieler

Change the repository type filter

All

    Repositories list

    39 repositories

    • pasta

      Public
      VS Code extension for STPA-based risk analyses with interactive diagrams and integrations for fault trees, safe-by-construction behavior model generation, and verification.
      risk-analysisverificationstpavs-code-extenstionfault-trees
      TypeScript
      •
      Eclipse Public License 2.0
      •2•19•5•0•Updated Dec 3, 2024Dec 3, 2024

    • semantics

      Public
      The KIELER semantics project features the sequentially constructive SCCharts, SCL, and SCEst language including tooling for automatic diagrams, compilation, and simulation
      visualizationsimulationsclmodelingverificationmodel-driven-developmentdiagramsesterelmodeling-toolsynchronous-language
      Java
      •5•9•42•11•Updated Dec 2, 2024Dec 2, 2024

    • klighd-vscode

      Public
      visualizationvscodevscode-extension
      TypeScript
      •
      Eclipse Public License 2.0
      •6•9•63•5•Updated Nov 27, 2024Nov 27, 2024

    • SoftwareProjectViz

      Public
      Interactive visualization and documentation for software projects, automatically generated from DSLs
      visualizationdsl
      Java
      •
      Eclipse Public License 2.0
      •2•2•2•0•Updated Nov 27, 2024Nov 27, 2024

    • KLighD

      Public
      KIELER Lightweight Diagams
      visualizationsvgjavanode-link-diagrams
      Java
      •
      Eclipse Public License 2.0
      •7•35•43•11•Updated Nov 21, 2024Nov 21, 2024

    • osgiviz

      Public
      Visualization of OSGi projects using KIELER Lightweight Diagrams (KlighD)
      osgivisualization
      Java
      •
      Eclipse Public License 2.0
      •4•9•10•3•Updated Nov 20, 2024Nov 20, 2024

    • .github

      Public
      0•0•0•0•Updated Nov 19, 2024Nov 19, 2024

    • plyghd-ls-demonstrator

      Public
      Python language server demonstrator compatible with klighd-vscode API.
      Python
      •
      MIT License
      •0•1•1•0•Updated Nov 19, 2024Nov 19, 2024

    • pasta-examples

      Public
      Contains several files that demonstrate the use of PASTA and its features
      0•0•0•0•Updated Nov 19, 2024Nov 19, 2024

    • elk-live

      Public
      A web page with a text editor for ELK Graph and a synchronized graphical view
      TypeScript
      •
      Eclipse Public License 2.0
      •18•83•13•7•Updated Oct 29, 2024Oct 29, 2024

    • kieler-vscode

      Public
      TypeScript
      •
      Eclipse Public License 2.0
      •1•5•52•0•Updated Oct 22, 2024Oct 22, 2024

    • pragmatics

      Public
      Java
      •
      Eclipse Public License 1.0
      •2•2•0•3•Updated Oct 14, 2024Oct 14, 2024

    • SoftwareProjectViz-examples

      Public
      Example models and generators for SoftwareProjectViz
      Java
      •
      Eclipse Public License 2.0
      •2•1•0•0•Updated Aug 20, 2024Aug 20, 2024

    • elkjs

      Public
      ELK's layout algorithms for JavaScript
      graph-layoutlayout-algorithmlayered-layoutdiagram-layout
      JavaScript
      •
      Other
      •97•1.8k•68•4•Updated Jul 5, 2024Jul 5, 2024

    • JutilS

      Public
      Util packages for JavaScript
      TypeScript
      •
      Eclipse Public License 2.0
      •0•1•1•0•Updated Apr 26, 2024Apr 26, 2024

    • sprotty-mirror

      Public
      HTML
      •
      Eclipse Public License 2.0
      •0•0•0•0•Updated Mar 8, 2024Mar 8, 2024

    • jetty-websocket-mirror

      Public
      Other
      •0•0•0•0•Updated Feb 6, 2024Feb 6, 2024

    • elk-cli

      Public
      A commandline wrapper for elkjs.
      JavaScript
      •
      Eclipse Public License 2.0
      •0•2•0•0•Updated Feb 2, 2024Feb 2, 2024

    • diagrams-demo

      Public
      Dockerfile
      •
      Eclipse Public License 2.0
      •0•0•0•0•Updated Jan 26, 2024Jan 26, 2024

    • sccharts-playground

      Public
      Dockerfile
      •
      Other
      •0•1•0•0•Updated Oct 17, 2023Oct 17, 2023

    • RailTrail

      Public
      Code repository for the REAKT RailTrail App and related server/management code.
      TypeScript
      •
      Eclipse Public License 2.0
      •1•1•4•0•Updated Oct 4, 2023Oct 4, 2023

    • models

      Public
      Shell
      •0•1•0•0•Updated Sep 5, 2023Sep 5, 2023

    • experimental-lingua-franca

      Public
      Fork of the Lingua Franca repository for experimentation in the context of KIELER
      Java
      •
      Other
      •63•0•0•0•Updated Jul 18, 2023Jul 18, 2023

    • KLighD.Piccolo2d

      Public
      Forked version of Piccolo2d with a few fixes/adjustments
      Java
      •
      Other
      •0•0•0•0•Updated Jun 6, 2023Jun 6, 2023

    • SWT-Mock

      Public
      Platform-independent mock code of the SWT API for Maven projects requiring API but not calling functionality of the org.eclipse.swt library.
      Java
      •
      Eclipse Public License 2.0
      •0•0•0•0•Updated Jun 6, 2023Jun 6, 2023

    • ecoreviz

      Public
      Ecore visualization using KIELER Lightweight Diagrams (KlighD)
      Xtend
      •
      Eclipse Public License 1.0
      •3•4•1•1•Updated Jan 10, 2023Jan 10, 2023

    • config

      Public archive
      Configuration files and Oomph setup for Kieler development.
      HTML
      •
      Eclipse Public License 1.0
      •1•2•0•0•Updated Feb 8, 2022Feb 8, 2022

    • klassviz

      Public
      Visualization of class diagrams using KIELER Lightweight Diagrams (KLighD)
      Java
      •
      Eclipse Public License 1.0
      •3•23•3•0•Updated Feb 8, 2022Feb 8, 2022

    • ptbrowser

      Public
      An interactive browser for Ptolemy 2 models.
      Xtend
      •
      Eclipse Public License 1.0
      •2•4•1•0•Updated Feb 8, 2022Feb 8, 2022

    • debukviz

      Public
      Visualization of memory states for debugging using KIELER Lightweight Diagrams (KLighD)
      Java
      •
      Eclipse Public License 1.0
      •2•11•0•0•Updated Feb 8, 2022Feb 8, 2022