Alternatives and similar repositories for verifaps-lib

Users that are interested in verifaps-lib are comparing it to the libraries listed below

• marwern / PLCreX
  Simplification, Transformation, Analysis, and Validation of IEC 61131-3 Programmable Logic Controllers
  ☆80Updated last year
• sm1820 / matiec
  A maintained IEC61131 to C transpiler
  ☆38Updated 4 years ago
• TUM-AIS / IEC611313ANTLRParser
  Parser library for parsing IEC61131-3 ST and TIAOpeness SCL, STL code, using ANTLR4.
  ☆11Updated 2 months ago
• nucleron / matiec
  ☆180Updated 2 years ago
• PLC-lang / rusty
  Structured Text Parser and LLVM Frontend
  ☆314Updated this week
• Serhioromano / vscode-st
  Extension for VS Code to support Structured Text language.
  ☆179Updated 2 weeks ago
• jubnzv / iec-checker
  Static analysis of IEC 61131-3 programs
  ☆86Updated 8 months ago
• beremiz / beremiz
  Beremiz is Free Software for machine automation.
  ☆377Updated last week
• beremiz / matiec
  ☆85Updated last month
• 61131 / echidna
  Compiler and virtual machine run-time for IEC 61131-3 languages
  ☆64Updated last year
• klauer / blark
  Beckhoff TwinCAT ST (IEC 61131-3) code parsing in Python using Lark (Earley)
  ☆55Updated last month
• thiagoralves / OpenPLC
  Software for the OpenPLC - an open source industrial controller
  ☆165Updated 9 years ago
• i5cnc / plcopen
  plcopen
  ☆56Updated 5 years ago
• nucleron / beremiz
  ☆67Updated 4 years ago
• WengerAG / structured-text-utilities
  Utilities for Structured Text (IEC 61131-3)
  ☆60Updated 2 years ago
• sbwtw / stc-rs
  IEC-61131-3 Structured Text Compiler
  ☆37Updated 8 months ago
• thiagoralves / OpenPLC_v2
  OpenPLC with the new IEC ST to C compiler
  ☆206Updated 7 years ago
• mbuesch / awlsim
  STEP-7 AWL/STL PLC simulator
  ☆69Updated 2 months ago
• Felipeasg / matiec_examples
  Simple examples about how to use MATIEC compiler for IEC 61131-3
  ☆37Updated 6 years ago
• ros-drivers / odva_ethernetip
  Library implementing ODVA EtherNet/IP (Industrial Protocol).
  ☆96Updated 5 years ago
• openbac / iec61131-parser
  ANTLR grammar for IEC61131 language
  ☆14Updated last year
• thiagoralves / OpenPLC_Editor
  OpenPLC Editor - IDE capable of creating programs for the OpenPLC Runtime
  ☆545Updated 2 months ago
• siamect / proview
  Proview is probably the first Open Source system for process control and automation in the world. The largest Proview installation is in …
  ☆80Updated 4 years ago
• feecat / OpenSML
  Open Sources SoftMotion Light For CiA402 Servo Drivers
  ☆57Updated last month
• mattsse / plcopen-xml-xcore
  The PlcOpen Xml Standard implemented as Xcore model and with full gradle and maven support
  ☆15Updated 5 years ago
• Aliazzzz / OOP-Concept-Examples-in-CODESYS-V3
  Examples of IEC 61131-3 third edition OOP programming paradigms in practice
  ☆67Updated 7 years ago
• ironplc / ironplc
  Prototype Rust-based SoftPLC
  ☆59Updated this week
• OpenAutomationTechnologies / openPOWERLINK_V2
  Release 2 of the openPOWERLINK protocol stack
  ☆160Updated 3 years ago
• eclipse-4diac / 4diac-forte
  4diac FORTE is a small portable implementation of an IEC 61499 runtime environment targeting small embedded control devices, implemented …
  ☆53Updated this week
• liftoff-sr / CIPster
  Ethernet/IP (Common Industrial Protocol) stack in C++. This started as a C to C++ conversion of C based OpENer.
  ☆168Updated last year