Popular repositories

1. CMinor-Verifier CMinor-Verifier Public

   2022 年春季学期清华大学《软件分析与验证》课程实验平台

   C# 186 19

2. Deagle Deagle Public

   SWIG 14 3

3. automerge automerge Public

   Resolve conflicts via version space algebra in structured merge.

   Java 7 2

4. pspec-sql pspec-sql Public

   Scala 3 1

5. mastery mastery Public

   An efficient and shifted-aware structured three-way merging framework

   Java 2 1

6. automerge-PTM automerge-PTM Public

   Structured merging with Proper Tree Matching

   Java 2 1