Repositories list

• thufv.github.io

  Public
  Formal Verification Lab in Tsinghua University

  SCSS

  •

  MIT License

  •00 forks•22 stars•00 issues•22 pull requests•Updated Jun 23, 2026Jun 23, 2026

• Deagle

  Public
  C++

  •

  Other

  •66 forks•2525 stars•11 issue•00 pull requests•Updated Jun 16, 2026Jun 16, 2026

• CMinor-Verifier

  Public
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)

  course-projectprogram-verification

  course-projectprogram-verification

  C#

  •

  GNU General Public License v3.0

  •2525 forks•215215 stars•00 issues•00 pull requests•Updated Mar 10, 2025Mar 10, 2025

• mastery

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

  Java

  •

  Other

  •11 fork•33 stars•00 issues•00 pull requests•Updated Jun 27, 2024Jun 27, 2024

• EqFix

  Public
  C#

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 27, 2022Sep 27, 2022

• CMinor-testcases

  Public
  2022 年春季学期清华大学《软件分析与验证》课程实验测例仓库

  C

  •11 fork•33 stars•00 issues•00 pull requests•Updated Aug 4, 2022Aug 4, 2022

• automerge-PTM

  Public
  Structured merging with Proper Tree Matching

  Java

  •

  GNU Lesser General Public License v2.1

  •11 fork•22 stars•00 issues•00 pull requests•Updated Jul 19, 2021Jul 19, 2021

• Prem

  Public
  Program Repair using Error Messages

  00 forks•00 stars•00 issues•00 pull requests•Updated Mar 25, 2021Mar 25, 2021

• DeepFix-CS

  Public
  C#

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 24, 2021Mar 24, 2021

• pspec-sql

  Public
  Scala

  •

  Other

  •11 fork•33 stars•00 issues•11 pull request•Updated Jul 23, 2020Jul 23, 2020

• automerge

  Public
  Resolve conflicts via version space algebra in structured merge.

  javamerge-conflictsconflict-resolution+ 4

  javamerge-conflictsconflict-resolutionprogram-synthesismergerstructured-mergeversion-space-algebra

  Java

  •

  GNU Lesser General Public License v3.0

  •44 forks•88 stars•00 issues•00 pull requests•Updated Nov 10, 2018Nov 10, 2018