LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems
☆61Oct 9, 2023Updated 2 years ago
Alternatives and similar repositories for LLM_4_PLC
Users that are interested in LLM_4_PLC are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LLM-based Test Case Generation for PLC Control Logic☆36Oct 31, 2024Updated last year
- LTX-Video-Trainer-GUI 是为LTX视频lora模型训练提供的GUI工具，支持通过简单的界面训练 LoRA 模型用于视频生成。本训练器提供了直观的 GUI 界面，使用户能够轻松设置和启动训练流程，无需编写复杂代码。☆13Jul 18, 2025Updated 10 months ago
- Projectify, a free project management software☆17May 11, 2026Updated 2 weeks ago
- The official implementation of the paper: H-Neurons: On the Existence, Impact, and Origin of Hallucination-Associated Neurons in LLMs☆64Jan 14, 2026Updated 4 months ago
- ☆13May 19, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- The code and dataset of the paper.☆16Mar 27, 2025Updated last year
- ☆14Aug 18, 2025Updated 9 months ago
- Siemens SCL Tia Portal Tia-Portal Bibliothek Source Code like in OSCAT PID PI Regler☆102Jul 5, 2025Updated 10 months ago
- Simulink Interface Program for OpenPLC☆19Sep 24, 2020Updated 5 years ago
- Empowering Scientific Research with AI Assistance! Open Source Code for Data-Driven Dimensional Analysis.☆15Aug 7, 2025Updated 9 months ago
- Simplification, Transformation, Analysis, and Validation of IEC 61131-3 Programmable Logic Controllers☆89Feb 14, 2024Updated 2 years ago
- Dr. Orbiteex - TLE/OEM 3D/2D viewer and analyser☆13Jul 14, 2024Updated last year
- White-box Fairness Testing through Adversarial Sampling☆14Apr 16, 2021Updated 5 years ago
- Semi-automated modelling and Model-Based Testing for CosmWasm contracts☆17Jun 28, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ⚙️ Program slicer based on the Mozilla Lithium Tool for Java (also dubbed as Tandem-FL).☆11Oct 21, 2024Updated last year
- ☆14Dec 19, 2024Updated last year
- ☆13May 29, 2024Updated 2 years ago
- Automatically encapsulate comfyui workflow as gradio's webui☆25Jan 9, 2026Updated 4 months ago
- Prolog specification of TensorFlow layers☆13Jun 12, 2023Updated 2 years ago
- [ACL '24] Source code for paper: INTERVENOR : Prompt the Coding Ability of Large Language Models with the Interactive Chain of Repairing☆30Nov 25, 2024Updated last year
- Code repo for the NeurIPS 2021 paper "Online Adaption to Label Distribution Shift".☆16Feb 15, 2023Updated 3 years ago
- Reproducing BugsInPy: Benchmarking Bugs in Python Projects☆14Sep 4, 2023Updated 2 years ago
- A SCL Unit Testing library☆11Nov 13, 2018Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- CCKS 2022 通用信息抽取☆13May 1, 2022Updated 4 years ago
- SWE-Debate: Competitive Multi-Agent Debate for Software Issue Resolution [ICSE 2026]☆30Nov 11, 2025Updated 6 months ago
- A Repository of Real, Recent Java Bugs☆23Jan 6, 2026Updated 4 months ago
- Repository of Vision Transformer with Deformable Attention (CVPR2022) and DAT++: Spatially Dynamic Vision Transformerwith Deformable Atte…☆21Apr 17, 2024Updated 2 years ago
- ☆17Feb 28, 2024Updated 2 years ago
- ☆21Mar 5, 2025Updated last year
- Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts☆23May 11, 2024Updated 2 years ago
- Contains Colab Notebooks show cool use-cases of different GCP ML APIs.☆10Nov 5, 2020Updated 5 years ago
- Efficient APR with LLMs http://arxiv.org/pdf/2402.06598☆16May 28, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 一个中文版本的 LibAFL 笔记，主要内容是 LibAFL 原理相关的内容，同时也附加一些 LibAFL 使用方面的 tips ，方便查阅和参考。☆36Nov 22, 2023Updated 2 years ago
- [NeurIPS 2022] Latency-aware Spatial-wise Dynamic Networks☆25Aug 21, 2023Updated 2 years ago
- ☆21May 31, 2024Updated last year
- CasRelPytorch项目的改写版本，根据源码增添了模型预测功能以及预测结果导入neo4j图数据库的功能。☆13Jul 25, 2024Updated last year
- 数据仓库KETTLE ETL资源库☆14Jun 11, 2015Updated 10 years ago
- ☆10Dec 21, 2024Updated last year
- Website for Research Artifacts from the Security Community☆32May 10, 2026Updated 2 weeks ago