Artifact for TOSEM Submission: GiantRepair

⏰ Collaboratively track deadlines of conferences recommended by CCF (Website, Python Cli, Wechat Applet) / If you find it useful, please star this project, thanks~

A programming framework for agentic AI 🤖

KeY Theorem Prover for Deductive Java Verification

SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

A symbolic Java virtual machine for program analysis, verification and test generation

A powerful and user-friendly binary analysis platform!

Ollama Python library

Yet another multi-purpose Colab Notebook

Cracking the XP seed in Minecraft and choosing your enchantments

Library to analyze and collect metrics on source code

Eligos is a static code smell analysis tool for hybrid project of Kotlin and Java

A framework for testing compilers' type checkers

Graph Neural Network Library for PyTorch

A bug repository that keeps growing

Code and data for "Graph Neural Networks For Mapping Variables Between Programs", ECAI 2023.

A generative speech model for daily dialogue.

The Kotlin Programming Language.

“连续八年成为全世界最受喜爱的语言，无 GC 也无需手动内存管理、极高的性能和安全性、过程/OO/函数式编程、优秀的包管理、JS 未来基石" — 工作之余的第二语言来试试 Rust 吧。本书拥有全面且深入的讲解、生动贴切的示例、德芙般丝滑的内容，这可能是目前最用心的 Rust 中文学习教程 / Book

Essential hooks for modding with Fabric.

Desktop/Android/HTML5/iOS Java game development framework

目标是最精致的编程语言

Kotlin Multiplatform lifecycle-aware business logic components (aka BLoCs) with routing (navigation) and pluggable UI (Jetpack Compose, SwiftUI, JS React, etc.)

A thin Java wrapper to access the Steamworks API

Rust bindings for Godot 4