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
  ☆64Updated last year
• sm1820 / matiec
  A maintained IEC61131 to C transpiler
  ☆38Updated 3 years ago
• nucleron / beremiz
  ☆67Updated 3 years ago
• klauer / blark
  Beckhoff TwinCAT ST (IEC 61131-3) code parsing in Python using Lark (Earley)
  ☆48Updated last month
• Serhioromano / vscode-st
  Extension for VS Code to support Structured Text language.
  ☆149Updated last week
• beremiz / matiec
  ☆63Updated 2 months ago
• vlsi / iec61131-parser
  Parsers for IEC 61131-3 grammar
  ☆37Updated 9 years ago
• feecat / OpenSML
  Open Sources SoftMotion Light For CiA402 Servo Drivers
  ☆50Updated 3 months ago
• 61131 / echidna
  Compiler and virtual machine run-time for IEC 61131-3 languages
  ☆59Updated 2 months ago
• nucleron / matiec
  ☆150Updated 2 years ago
• jubnzv / iec-checker
  Static analysis of IEC 61131-3 programs
  ☆68Updated last week
• sbwtw / stc-rs
  IEC-61131-3 Structured Text Compiler
  ☆30Updated last month
• i5cnc / plcopen
  plcopen
  ☆51Updated 4 years ago
• NothinRandom / CoDeSys_EIP
  Communicate with EtherNet/IP devices using explicit messaging in CoDeSys!
  ☆25Updated 2 years ago
• peacefighter1996 / Open.PackML
  Open Library for development of PackML/ISA88 control systems.
  ☆10Updated 9 months ago
• Beckhoff / CCAT
  Beckhoff CCAT FPGA Kernel mode driver to run EtherCAT Master on CX devices
  ☆37Updated 7 months ago
• jisotalo / iec-61131-3
  IEC 61131-3 PLC data type helper for Node.js.
  ☆21Updated 2 years ago
• nikvoronin / AdsRemote
  High-level interface for TwinCAT.Ads API that might save a lot of time.
  ☆59Updated 3 years ago
• ros-drivers / odva_ethernetip
  Library implementing ODVA EtherNet/IP (Industrial Protocol).
  ☆94Updated 4 years ago
• mbuesch / awlsim
  STEP-7 AWL/STL PLC simulator
  ☆58Updated 10 months ago
• rossmann-engineering / eeip.py
  Ethernet/IP compatible Python library
  ☆39Updated last month
• david9991 / plcc-plugin
  ☆19Updated 9 months ago
• Roald87 / TwincatTutorials
  Collection of TwinCAT projects used for my blog posts at cookncode.com/twincat
  ☆41Updated 2 years ago
• rexhip / rexhip
  Extended modbus library for Siemens PLC's.
  ☆83Updated 3 months ago
• ADeepTech / WAGO-PLC-Tutorials
  Tutorials, libraries, softwares, e!COCKPIT and CODESYS code examples for WAGO PLC, WAGO PFC Controller.
  ☆27Updated 2 years ago
• fbarresi / ProfinetTools
  Tools for profinet analysis and configuration
  ☆71Updated 2 years ago
• WengerAG / structured-text-utilities
  Utilities for Structured Text (IEC 61131-3)
  ☆56Updated last year
• Felipeasg / matiec_examples
  Simple examples about how to use MATIEC compiler for IEC 61131-3
  ☆33Updated 5 years ago
• fbarresi / BeckhoffS7Client
  Unofficial TwinCAT function for S7 Communication
  ☆35Updated 2 years ago
• PLC-lang / rusty
  Structured Text Parser and LLVM Frontend
  ☆244Updated this week