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

Sponsors

@sparanoid

Organizations

@coq @coq-ext-lib @plclub @Coq-zh @coq-community @ocaml-community @msra-alumni

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
Showing results

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

389 60 Updated Jul 16, 2024

Bypassed HyperOS restrictions on bootloader unlocking

C# 58 3 Updated May 15, 2024

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

PHP 2,585 295 Updated Jul 19, 2024
Python 10 Updated Jul 13, 2024

专注于验证的 Telegram 机器人

Elixir 1,048 104 Updated Jul 1, 2024

🐵 自用的一些乱七八糟 油猴脚本~

JavaScript 7,672 608 Updated Sep 20, 2024

中国运营商IPv4/IPv6地址库-每日更新

Shell 2,771 300 Updated Sep 20, 2024

中国大陆域名, SwitchyOmega 白名单规则, 自动更新

Python 737 73 Updated Sep 19, 2024

BoxCar2D implementation in Python.

Python 6 Updated Jun 1, 2020

a distributed deep learning platform

C++ 3,339 1,227 Updated Sep 17, 2024
Go 611 134 Updated Aug 15, 2021

ICPC 2023 合肥站选手机器镜像制作脚本

Shell 42 3 Updated Dec 2, 2023

🔍🀄️ Review mahjong game log with mjai-compatible mahjong AI.

Rust 991 115 Updated Jul 25, 2024

多语言、领域混编,模块化的书写规范。

Markdown 29 Updated May 23, 2024

Seven Kingdoms: Ancient Adversaries - Go to the main source repository at https://sourceforge.net/projects/skfans/ for source code and builds

C++ 253 72 Updated Sep 25, 2023

ChatGLM2-6B: An Open Bilingual Chat LLM | 开源双语对话语言模型

Python 15,685 1,850 Updated Jun 27, 2024

Inspect a command's effects before modifying your live system

Shell 5,178 66 Updated Sep 18, 2024

Copier for golang, copy value from struct to struct and more

Go 5,451 482 Updated Jul 18, 2024

ChatGPT Telegram bot

Python 47 13 Updated Sep 15, 2024

ChatGPT 中文调教指南。各种场景使用指南。学习怎么让它听你的话。

52,220 13,517 Updated Jul 30, 2024

GUI for ChatGPT API and many LLMs. Supports agents, file-based QA, GPT finetuning and query with web search. All with a neat UI.

Python 15,152 2,284 Updated Sep 19, 2024

为GPT/GLM等LLM大语言模型提供实用化交互接口,特别优化论文阅读/润色/写作体验,模块化设计,支持自定义快捷按钮&函数插件,支持Python和C++等项目剖析&自译解功能,PDF/LaTex论文翻译&总结功能,支持并行问询多种LLM模型,支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, m…

Python 64,116 7,920 Updated Sep 19, 2024

一个用于在 macOS 上平滑你的鼠标滚动效果或单独设置滚动方向的小工具, 让你的滚轮爽如触控板 | A lightweight tool used to smooth scrolling and set scroll direction independently for your mouse on macOS

Swift 14,353 513 Updated Jul 23, 2024

2021年最新总结,推荐工程师合适读本,计算机科学,软件技术,创业,思想类,数学类,人物传记书籍

7,284 2,395 Updated Jun 11, 2024

Retryable HTTP client in Go

Go 1,963 247 Updated Aug 1, 2024

🔥 Save Your Code in an Emergency

Shell 4,335 130 Updated Mar 2, 2022

使用盲水印保护创作者的知识产权using invisible watermark to protect creator's intellectual property

Python 1,285 178 Updated Aug 30, 2024

🐟「Sakana!」石蒜模拟器

JavaScript 1,990 138 Updated Nov 9, 2022

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

Coq 181 19 Updated Dec 8, 2023

Library of Raft consensus algorithm implemented in OCaml

OCaml 29 3 Updated Aug 18, 2023
Next