8000 kieler repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

@kieler Kieler

Change the repository type filter

All

    Repositories list

    42 repositories

    • kieler-vscode

      Public
      TypeScript
      •
      Eclipse Public License 2.0
      •3•7•51•0•Updated Jun 6, 2025Jun 6, 2025

    • railsl

      Public
      Java
      •0•0•0•0•Updated Jun 5, 2025Jun 5, 2025

    • 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
      •1•25•19•0•Updated Jun 4, 2025Jun 4, 2025

    • osgiviz

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

    • plyghd-ls-demonstrator

      Public
      Python language server demonstrator compatible with klighd-vscode API.
      Python
      •
      MIT License
      •0•1•0•0•Updated Jun 3, 2025Jun 3, 2025

    • railsl-blockly

      Public
      1•0•0•0•Updated May 27, 2025May 27, 2025

    • elk-live

      Public
      A web page with a text editor for ELK Graph and a synchronized graphical view
      TypeScript
      •
      Eclipse Public License 2.0
      •19•90•13•3•Updated May 27, 2025May 27, 2025

    • 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
      •6•14•42•11•Updated May 21, 2025May 21, 2025

    • klighd-vscode

      Public
      visualizationvscodevscode-extension
      TypeScript
      •
      Eclipse Public License 2.0
      •8•9•64•4•Updated May 13, 2025May 13, 2025

    • KLighD

      Public
      KIELER Lightweight Diagams
      visualizationsvgjavanode-link-diagrams
      Java
      •
      Eclipse Public License 2.0
      •7•36•46•7•Updated May 12, 2025May 12, 2025

    • pragmatics

      Public
      Java
      •
      Eclipse Public License 1.0
      •2•2•0•2•Updated May 6, 2025May 6, 2025

    • klighd-python-types

      Public
      Automatically generated types for building language servers to speak with the klighd client.
      Python
      •
      MIT License
      •0•0•0•0•Updated Apr 17, 2025Apr 17, 2025

    • elkjs

      Public
      ELK's layout algorithms for JavaScript
      graph-layoutlayout-algorithmlayered-layoutdiagram-layout
      JavaScript
      •
      Other
      •102•2k•87•3•Updated Mar 18, 2025Mar 18, 2025

    • SoftwareProjectViz

      Public
      Interactive visualization and documentation for software projects, automatically generated from DSLs
      visualizationdsl
      Java
      •
      Eclipse Public License 2.0
      •2•2•4•0•Updated Mar 17, 2025Mar 17, 2025

    • sccharts-playground

      Public
      Dockerfile
      •
      Other
      •0•1•0•0•Updated Feb 28, 2025Feb 28, 2025

    • pasta-examples

      Public
      Contains several files that demonstrate the use of PASTA and its features
      1•2•0•0•Updated Feb 7, 2025Feb 7, 2025

    • SoftwareProjectViz-examples

      Public
      Example models and generators for SoftwareProjectViz
      Java
      •
      Eclipse Public License 2.0
      •3•1•1•1•Updated Jan 30, 2025Jan 30, 2025

    • JutilS

      Public
      Util packages for JavaScript
      TypeScript
      •
      Eclipse Public License 2.0
      •0•1•1•0•Updated Jan 14, 2025Jan 14, 2025

    • .github

      Public
      0•0•0•0•Updated Nov 19, 2024Nov 19, 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•1•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

    • 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
      •67•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
    0