Skip to content
#

iec61508

Here are 8 public repositories matching this topic...

Deterministic semantic linter and PR reviewer for IEC 61131-3 Structured Text. 80 checks across diff-based, static integrity, FB-instance, PLCopen, MISRA-C, IEC 61508/62443 mappings. Plus --metrics mode (complexity, nesting, dead code). CI-native, vendor-neutral, no LLM. Runs as a GitHub Action, GitLab CI job, or local CLI.

  • Updated Aug 1, 2026
  • TypeScript

AI-Native CPS Safety Framework | Constrained Architecture | Deterministic Compiler | Safety-Critical Systems | symbolic ai | IoT Security | Embedded Systems | Formal Verification | YAML-driven | VETO-first

  • Updated Jun 8, 2026
  • Python

Add this topic to your repo

To associate your repository with the iec61508 topic, visit your repo's landing page and select "manage topics."

Learn more