QCP (Qualified C Programming), a C program verification tool

This is a second-hand development project based on GeoCLIP, using transfer learning to improve the performance on streetview datasets.

This is an official PyTorch implementation of our NeurIPS 2023 paper "GeoCLIP: Clip-Inspired Alignment between Locations and Images for Effective Worldwide Geo-localization"

X-Talk is an open-source full-duplex cascaded spoken dialogue system framework enabling low-latency, interruptible, and human-like speech interaction with a lightweight, pure-Python, production-rea…

Adding support for the Rust language to the Linux kernel.

《AI Agent 实战营》配套示例代码

My Notes and summary for books and homework and lectures

Daily updated LLM papers. 每日更新 LLM 相关的论文，欢迎订阅 👏 喜欢的话动动你的小手 🌟 一个

A simple integration of ACMOJ into VSCode, which allows you to browse problemsets (contests/homework), view problems, submit your code, and check submission results without leaving your editor.