Skip to content
View liyishuai's full-sized avatar
🐔
I program with Coq !
🐔
I program with Coq !

Sponsors

@sparanoid

Organizations

@rocq-prover @plclub @rocq-community @ocaml-community

Block or report liyishuai

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
Python 7 1 Updated Apr 21, 2026

Unlimited memory for OpenClaw

TypeScript 1,054 111 Updated May 1, 2026
Rust 21 2 Updated May 1, 2026

Run more RL experiments. Wait less for GPUs.

Python 276 17 Updated May 1, 2026

Wrap Gemini CLI, Antigravity, ChatGPT Codex, Claude Code as an OpenAI/Gemini/Claude/Codex compatible API service, allowing you to enjoy the free Gemini 3.1 Pro, GPT 5.5, Claude model through API

Go 30,185 5,018 Updated May 1, 2026

Show usage stats for OpenAI Codex and Claude Code, without having to login.

Swift 11,508 875 Updated Apr 30, 2026

Claw Memory Sharing Service — cross-instance memory sharing for AI agents via Cloudflare Workers + TiDB Cloud

TypeScript 7 2 Updated Mar 4, 2026

An agentic skills framework & software development methodology that works.

Shell 175,466 15,502 Updated Apr 30, 2026

CLI tool for extracting images and sounds from visual novels.

C++ 662 94 Updated Feb 18, 2022

Visual Novels resource browser

C# 3,076 309 Updated Jul 8, 2024

Gemini auth plugin for opencode

TypeScript 1,527 111 Updated Apr 6, 2026

Colored OpenType-SVG Mahjong font based on FluffyStuff/riichi-mahjong-tiles.

24 3 Updated Mar 8, 2021

some items for personal use

386 13 Updated Apr 14, 2026

This is a public version of LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision

Python 170 9 Updated Dec 1, 2025

锐评一下你都在 GitHub 写了什么

TypeScript 461 12 Updated Oct 21, 2025

🌚 🌍 🌝 GeoIP 增强版,支持自由定制 V2Ray dat 格式文件 geoip.dat、MaxMind mmdb 格式文件、sing-box SRS 格式文件、mihomo MRS 格式文件、Clash ruleset、Surge ruleset 等。Enhanced edition of GeoIP for V2Ray, Xray-core, sing-box, Clash, mi…

Go 5,961 870 Updated Apr 30, 2026

Shadowrocket 使用手册 补完计划

3,326 305 Updated Apr 30, 2026

分流规则、重写写规则及脚本。

JavaScript 25,862 3,938 Updated May 1, 2026

Xiaomi Home Integration for Home Assistant

Python 21,642 1,152 Updated Jan 28, 2026

A C++ library for interacting with JSON.

C++ 8,828 2,727 Updated Apr 23, 2026

Some practical gadgets. ✔

JavaScript 10 1 Updated Apr 2, 2026

Let your Claude able to think

TypeScript 17,000 1,970 Updated Apr 7, 2026

A python script wrapper for git-archive that archives a git superproject and its submodules, if it has any. Takes into account .gitattributes

Python 400 80 Updated Jan 13, 2025

unison-fsmonitor implementation

Rust 101 11 Updated Feb 24, 2025

常用中国网站白名单,纯列表,用于 SwitchyOmega,控制不走代理的网站。

593 80 Updated Mar 4, 2026

Bypasses HyperOS restrictions on bootloader unlocking

C# 744 52 Updated May 27, 2025

A PoC that exploits a vulnerability to bypass the Xiaomi HyperOS community restrictions of BootLoader unlocked account bindings.

PHP 4,593 452 Updated Nov 11, 2025
Python 10 Updated Jul 13, 2024

专注于验证的 Telegram 机器人

Elixir 1,260 116 Updated Apr 17, 2026
Next