postechsv/plc-release external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

postechsv/plc-release

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/postechsv/plc-release)

Close

postechsv / plc-releaseView on GitHubMore

• External links
• Readme badge

☆13Dec 31, 2025Updated 2 months ago

Alternatives and similar repositories for plc-release

Users that are interested in plc-release are comparing it to the libraries listed below

• postechsv / tee-formal-analysis

  View on GitHub
  Formal Analysis of TEE Applications using TEE Formal Spec.
  ☆10Dec 26, 2025Updated 2 months ago
• postechsv / maude-se

  View on GitHub
  An SMT extension of Maude
  ☆12Jun 8, 2025Updated 8 months ago
• stlmc / stlmc

  View on GitHub
  ☆11Jan 21, 2025Updated last year
• postechsv / tee-formal-spec

  View on GitHub
  Formal Specification of Trusted Execution Environment APIs
  ☆10Dec 26, 2025Updated 2 months ago
• postechsv / lmc-ext

  View on GitHub
  Extension of Maude Logical Model Checker (https://maude.cs.illinois.edu/tools/lmc/)
  ☆10Dec 31, 2025Updated 2 months ago
• shuzhenggao / sbllm

  View on GitHub
  ☆14Aug 18, 2025Updated 6 months ago
• ASSERT-KTH / human-eval-java

  View on GitHub
  A fork of HumanEval-Java from the paper "Impact of Code Language Models on Automated Program Repair"
  ☆13Dec 11, 2024Updated last year
• claudeyj / patch_correctness

  View on GitHub
  ☆13May 19, 2024Updated last year
• momalab / ICSQuartz

  View on GitHub
  ☆16Dec 1, 2024Updated last year
• ipdl / ipdl

  View on GitHub
  ☆11Jan 17, 2023Updated 3 years ago
• reproducing-research-projects / BugsInPy

  View on GitHub
  Reproducing BugsInPy: Benchmarking Bugs in Python Projects
  ☆14Sep 4, 2023Updated 2 years ago
• sofiaoreis / lithium-slicer

  View on GitHub
  ⚙️ Program slicer based on the Mozilla Lithium Tool for Java (also dubbed as Tandem-FL).
  ☆11Oct 21, 2024Updated last year
• PyRepair / maniple

  View on GitHub
  ☆12Jun 27, 2025Updated 8 months ago
• informalsystems / cosmwasm-to-quint

  View on GitHub
  Semi-automated modelling and Model-Based Testing for CosmWasm contracts
  ☆17Jun 28, 2024Updated last year
• tripathiarpan20 / self-improvement-4all

  View on GitHub
  Private self-improvement coaching with open-source LLMs
  ☆16Mar 7, 2024Updated last year
• mojtaba-eshghie / HighGuard

  View on GitHub
  The runtime monitoring tool for smart contracts business logic.
  ☆18Dec 15, 2024Updated last year
• d-ani / SCL-UnitTesting

  View on GitHub
  A SCL Unit Testing library
  ☆11Nov 13, 2018Updated 7 years ago
• program-repair-project / bugfixer-testbench

  View on GitHub
  ☆14Jan 13, 2023Updated 3 years ago
• oval-group / oval-bab

  View on GitHub
  OVAL framework for BaB-based Neural Network Verification
  ☆17Dec 18, 2025Updated 2 months ago
• program-repair-project / bug-localizer

  View on GitHub
  ☆14Jan 8, 2023Updated 3 years ago
• readablesystems / cs260r-17

  View on GitHub
  Main repository for Harvard CS260r 2017.
  ☆12Apr 25, 2017Updated 8 years ago
• lawbreaker2022 / LawBreaker-SourceCode

  View on GitHub
  ☆19Jun 9, 2023Updated 2 years ago
• WisdomShell / ujb

  View on GitHub
  ☆16Feb 28, 2024Updated 2 years ago
• Redempt1onzzZZ / FUTURE

  View on GitHub
  [ICSE 2025] The Seeds of the FUTURE Sprout from History: Fuzzing for Unveiling Vulnerabilities in Prospective Deep-Learning Libraries (AC…
  ☆20Dec 22, 2025Updated 2 months ago
• YerbaPage / SWE-Debate

  View on GitHub
  SWE-Debate: Competitive Multi-Agent Debate for Software Issue Resolution
  ☆25Nov 11, 2025Updated 3 months ago
• Autonomy-Logic / openplc-runtime

  View on GitHub
  OpenPLC Runtime v4 designed to run programs built on OpenPLC Editor v4
  ☆52Feb 27, 2026Updated last week
• coinse / GHRB

  View on GitHub
  A Repository of Real, Recent Java Bugs
  ☆22Jan 6, 2026Updated 2 months ago
• ASSERT-KTH / cigar

  View on GitHub
  Efficient APR with LLMs http://arxiv.org/pdf/2402.06598
  ☆16May 28, 2024Updated last year
• rkthomps / coq-modeling

  View on GitHub
  Language models for Coq based on data collected from the coq lsp.
  ☆28Feb 23, 2026Updated last week
• Troublor / Nyx

  View on GitHub
  Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts
  ☆21May 11, 2024Updated last year
• hkoziolek / LLM-CodeGen-RAG

  View on GitHub
  LLM-based and retrieval-augmented Control Code Generation
  ☆23Oct 22, 2024Updated last year
• lt-asset / REPOCOD

  View on GitHub
  For our ACL25 Paper: Can Language Models Replace Programmers? RepoCod Says ‘Not Yet’ - by Shanchao Liang and Yiran Hu and Nan Jiang and L…
  ☆26Aug 27, 2025Updated 6 months ago
• MrLostInTheInternet / FluidPyPLC

  View on GitHub
  Analyzer of complex sequences (e.g. A+/B+/B-/A-/.. etc..). PLC ST code generator. Ladder Logic Converter. Use it to solve in a few second…
  ☆23Feb 13, 2024Updated 2 years ago
• DehengYang / awesome-program-repair-tools

  View on GitHub
  ☆26Nov 2, 2025Updated 4 months ago
• zer0fall / BENZENE

  View on GitHub
  BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation
  ☆25Mar 28, 2024Updated last year
• eva-ics / rplc

  View on GitHub
  rPLC - PLC programming in Rust
  ☆23Apr 14, 2024Updated last year
• openeuler-mirror / rust_shyper

  View on GitHub
  ☆26Sep 26, 2025Updated 5 months ago
• SophieHYe / PreciseBugs

  View on GitHub
  ☆28Mar 18, 2024Updated last year
• xevisalle / zpie

  View on GitHub
  ZPiE: Zero-knowledge Proofs in Embedded systems
  ☆31Dec 5, 2025Updated 3 months ago