Repository for TokDrift: When LLM Speaks in Subwords but Code Speaks in Grammar (ACL'26 Main).

Unit Test for LLM Agent Skills

[TMLR] A curated list of language modeling researches for code (and other software engineering activities), plus related datasets.

The first counterfactual PL semantics dataset for evaluating rule-conditioned reasoning in LLMs

exLong: Generating Exceptional Behavior Tests with Large Language Models

Anonymous Github is a proxy server to support anonymous browsing of Github repositories for open-science code and data.

Solve puzzles. Learn CUDA.

Solve puzzles. Improve your pytorch.

Multilingual Code Co-Evolution Using Large Language Models

Bash function library

perfect programming language

A LLM based research assistant that allows you to have a conversation with a research paper

A standard API for single-agent reinforcement learning environments, with popular reference environments and related utilities (formerly Gym)

Python bindings for data interoperability with Kokkos (View, DynRankView)

Performance portable parallel programming in Python backed by Kokkos

Regression debugging tool for Java

RTSCheck: A framework for testing regression test selection tools

Tests that check correctness of a single statement

ML-based regression test selection

VSCode extension for Roosterize, a tool for suggesting lemma names in Coq

Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.

CoditT5: Pretraining for Source Code and Natural Language Editing

Mutation analysis tool for Coq verification projects

Compiler Testing using Template Java Programs

A repository of links with advice related to grad school applications, research, phd etc

better multiprocessing and multithreading in Python

Python SQL Parser and Transpiler

This project aims to enhance the working environment on Windows

我的油猴脚本仓库