Skip to content
View Vitalrubbish's full-sized avatar
  • Shanghai Jiao Tong University
  • Minhang District, Shanghai
  • 02:50 (UTC +08:00)

Highlights

  • Pro

Block or report Vitalrubbish

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

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

Rocq Prover 29 3 Updated Jun 11, 2026
JavaScript 2 1 Updated Jun 5, 2026
Python 1 Updated Jun 6, 2026

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

Python 2 Updated Jun 5, 2026

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

Python 375 46 Updated Oct 5, 2025

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…

Python 215 27 Updated Jun 8, 2026

Adding support for the Rust language to the Linux kernel.

C 4,373 491 Updated Jun 19, 2026

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

Python 112 57 Updated Dec 18, 2025

My Notes and summary for books and homework and lectures

TeX 13 1 Updated Jan 1, 2026

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

Python 1,272 57 Updated Jun 20, 2026

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.

TypeScript 19 3 Updated Sep 6, 2025