Highlights
- Pro
Lists (3)
Sort Name ascending (A-Z)
Starred repositories
CodeGeeX: An Open Multilingual Code Generation Model (KDD 2023)
A multi-programming language benchmark for LLMs
Rigourous evaluation of LLM-synthesized code - NeurIPS 2023
This repository is to support contributions for tools for the Project CodeNet dataset hosted in DAX
Official code of our work, AVATAR: A Parallel Corpus for Java-Python Program Translation.
Releasing code for "ReCode: Robustness Evaluation of Code Generation Models"
Rapid fuzzy string matching in Python using various string metrics
Artifact repository for the paper "Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code", In Proceedings of The 46th IEEE/ACM International Conference on …
property testing and verification front-end for Rust
Public release of the TransCoder research project https://arxiv.org/pdf/2006.03511.pdf
The leaderboard website of REval benchmark (ICSE 2025 Paper "Reasoning Runtime Behavior of a Program with LLM: How Far Are We?")
大麦、大麦网 演唱会抢票软件,一个基于 tauri + rust + vue 调用接口的抢票软件。
List of research papers of ICSE, FSE, ASE, and ISSTA since 2020.
Safe code refactoring for modern Python.
an Implementation of asynchronous containers build on tokio. It uses a read-write separation design borrowed from Golang
Forum for discussion about what unsafe code can and can't do
Chat Templates for 🤗 HuggingFace Large Language Models
A high-throughput and memory-efficient inference and serving engine for LLMs
A tutorial of building an LSM-Tree storage engine in a week!
Static Value-Flow Analysis Framework for Source Code
HyDE: Precise Zero-Shot Dense Retrieval without Relevance Labels
There can be more than Notion and Miro. AFFiNE(pronounced [ə‘fain]) is a next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable an…
A self-hostable bookmark-everything app (links, notes and images) with AI-based automatic tagging and full text search
整理12种数据库相关资料,mysql,mariaDB,Percona Server,MongoDB,Redis,RocksDB,TiDB,CouchDB,Cassandra,TokuDB,MemDB,Oceanbase