Skip to content
View Symbolk's full-sized avatar
:octocat:
®Certificated
:octocat:
®Certificated
82 followers · 80 following
  • Beijing

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report Symbolk

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
Symbolk/README.md

Hi There 👋

AIGC (C=Code&Content) is All You Need

Working at 🌟

  • AI4SE & SE4AI -> Code&Coding Intelligence -> LLM for/as developer teams!
  • Software Engineering -> Program&Code Analysis -> Collaborative SE!
  • Human Computer Interaction -> Developer-elegant Interaction&Feedback design!

Projects 🔭

  • AI Coding in Live: A collection of ideas totally implemented by AI. Let's see how far they can go.
  • Code2Graph: A converter from source code to graph format that is language-agnostic and extensible.
  • SoManyConflicts: A VSCode extension to resolve multiple merge conflicts systematically and interactively.
  • SmartCommit: An assistant for cohesive and conventional commits based on code-change-graph partitioning.
  • IntelliMerge: A refined merging tool for Java: graph-based, refactoring-aware, and semi-structured.
  • CrowdJigsaw: A framework for collective problem solving (e.g., knowledge graph building): collaboratively.

Pinned Loading

  1. aicoding.live aicoding.live Public

    A collection of ideas totally implemented by AI. Let's see how far they can go.

    TypeScript 3

  2. GumTreeDiff/gumtree GumTreeDiff/gumtree Public

    An awesome code differencing tool

    Java 933 174

  3. Code2Graph Code2Graph Public

    Towards converting multilingual source code into one language-agnostic graph representation.

    Java 43 7

  4. SmartCommit SmartCommit Public

    Commit changes in a more decent way.

    Vue 14 2

  5. somanyconflicts somanyconflicts Public

    No more headache on So Many Conflicts after merging!

    TypeScript 7 3

  6. IntelliMerge IntelliMerge Public

    A graph-based refactoring-aware three-way merging tool for Java programs.

    Java 21 3