Skip to content
View cangkui's full-sized avatar
2 followers · 0 following
  • Beihang University
  • Beijing, P.R.China
  • 20:13 (UTC +08:00)

Achievements

Achievement: Pull SharkAchievement: StarstruckAchievement: Quickdraw

Achievements

Achievement: Pull SharkAchievement: StarstruckAchievement: Quickdraw

Block or report cangkui

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
cangkui/README.md

Hi there 👋

  • 😄 I'm a primary programmer who is intrested in system developing and LLMs.
  • 🌱 I'm currently pursuing a master's degree at Beihang University(BUAA).
  • 👾 Familiar with C++/Python; Currently exploring Ocaml programming.
  • 📫 How to reach me: cangkui439@outlook.com

Pinned Loading

  1. AutoPLC AutoPLC Public

    AutoPLC: Generating Vendor-Aware Structured Text for Programmable Logic Controllers

    Python 30 4

  2. iec-checker iec-checker Public

    Forked from iec-checker/iec-checker

    Static analysis of IEC 61131-3 programs

    OCaml

  3. TIACompileService TIACompileService Public

    A standard HTTP service that provides Siemens SCL compilation function for AutoPLC. Tested with TIA Portal V19 on Windows 10 Pro.

    C# 5 2

  4. CODESYSCompileService CODESYSCompileService Public

    A HTTP service that provides CODESYS ST compilation function for AutoPLC. Tested with CODESYS 3.5.20.40 (V3.5) SP20 Patch 4 on Windows 10 Pro.

    Python 7 1

  5. tree-sitter-structured-text tree-sitter-structured-text Public

    Forked from tmatijevich/tree-sitter-structured-text

    IEC 61131-3 Structured Text grammar for tree-sitter designed for Automation Studio projects. Forked from tmatijevich/tree-sitter-structured-text.

    C

  6. CheckerGen CheckerGen Public

    Coding Rule Compliance Checking for IEC 61131-3 Structured Text via Executable Checking Logic Generation

    Smalltalk