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
  ☆65Updated last year
• sm1820 / matiec
  A maintained IEC61131 to C transpiler
  ☆39Updated 4 years ago
• nucleron / beremiz
  ☆67Updated 3 years ago
• klauer / blark
  Beckhoff TwinCAT ST (IEC 61131-3) code parsing in Python using Lark (Earley)
  ☆50Updated 2 months ago
• jubnzv / iec-checker
  Static analysis of IEC 61131-3 programs
  ☆73Updated 2 months ago
• alexjaw / PID_controller
  A simple PID controller for Codesys.
  ☆17Updated 10 years ago
• Serhioromano / vscode-st
  Extension for VS Code to support Structured Text language.
  ☆151Updated last month
• Felipeasg / matiec_examples
  Simple examples about how to use MATIEC compiler for IEC 61131-3
  ☆33Updated 5 years ago
• openbac / iec61131-parser
  ANTLR grammar for IEC61131 language
  ☆14Updated 5 months ago
• 61131 / echidna
  Compiler and virtual machine run-time for IEC 61131-3 languages
  ☆60Updated 4 months ago
• sbwtw / stc-rs
  IEC-61131-3 Structured Text Compiler
  ☆30Updated 2 weeks ago
• PLC-lang / rusty
  Structured Text Parser and LLVM Frontend
  ☆258Updated this week
• feecat / OpenSML
  Open Sources SoftMotion Light For CiA402 Servo Drivers
  ☆50Updated 5 months ago
• DanielMartensson / PLC-Simulations
  A collection of PLC simulations with CodeSyS V3, Siemens LOGO and iX Developer
  ☆55Updated 6 years ago
• vlsi / iec61131-parser
  Parsers for IEC 61131-3 grammar
  ☆37Updated 9 years ago
• nucleron / matiec
  ☆157Updated 2 years ago
• beremiz / matiec
  ☆67Updated 4 months ago
• i5cnc / plcopen
  plcopen
  ☆53Updated 4 years ago
• stefandreyer / CODESYS-Common
  Common types and Functions for CODESYS
  ☆11Updated 3 years ago
• ciaa / IDE4PLC
  A libre Programming Software for PLC comply with IEC 61131-3
  ☆47Updated 7 years ago
• tkucic / UniTest
  UniTest is a PLC, IDE and manufacturer agnostic library written using only the features of the IEC61131 standard. Due to this, portabilit…
  ☆33Updated 3 years ago
• synapticon / Etherlab_EtherCAT_Master
  Clone of IgH EtherCAT Master with additional Vectioneer patches.
  ☆89Updated last month
• fbarresi / ProfinetTools
  Tools for profinet analysis and configuration
  ☆72Updated 2 years ago
• amal029 / st
  IEC-61131-3 Structured text parser
  ☆18Updated 11 years ago
• WengerAG / structured-text-utilities
  Utilities for Structured Text (IEC 61131-3)
  ☆57Updated last year
• mbuesch / awlsim
  STEP-7 AWL/STL PLC simulator
  ☆61Updated last year
• Aliazzzz / Applied-Design-Patterns-in-CODESYS-V3
  Various design-patterns reworked & translated to Codesys V3
  ☆77Updated 5 years ago
• beremiz / beremiz
  Beremiz is Free Software for machine automation.
  ☆308Updated last week
• NothinRandom / CoDeSys_EIP
  Communicate with EtherNet/IP devices using explicit messaging in CoDeSys!
  ☆26Updated 2 years ago
• Aliazzzz / OOP-Concept-Examples-in-CODESYS-V3
  Examples of IEC 61131-3 third edition OOP programming paradigms in practice
  ☆63Updated 6 years ago