Skip to content
View jieyilong's full-sized avatar

Highlights

  • Pro

Organizations

@thetatoken @blockchain-etl

Block or report jieyilong

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
TypeScript 68 6 Updated Jul 25, 2026
Lean 222 27 Updated Aug 2, 2026

build a 5-bit Shor's ECDLP algorithm that runs on a real quantum hardware

Rust 1 Updated Aug 6, 2026

SkillOpt is a text-space optimizer that trains reusable natural-language skills for frozen LLM agents through trajectory-driven edits, validation-gated updates, and deployable best_skill.md artifacts.

Python 16,006 1,489 Updated Aug 13, 2026

将冰冷的离别化为温暖的 Skill,欢迎加入数字生命1.0!Transforming cold farewells into warm skills? It's giving rebirth era. Welcome to Digital Life 1.0. 🫶

Python 21,581 2,040 Updated Aug 13, 2026

A collaborative effort to build the leanest circuit that breaks ECDSA

Rust 2 Updated Jun 20, 2026

Zero Knowledge Proof for resource estimates of Elliptic Curve Point Addition Quantum Circuits.

Rust 32 5 Updated Jun 5, 2026

A collaborative effort to build the leanest circuit that breaks ECDSA

Rust 76 39 Updated Aug 13, 2026

A collaborative effort to build the leanest circuit that breaks ECDSA

Rust 2 1 Updated Jun 4, 2026

Bartosz Milewski 的 '写给程序员的范畴论' 非官方 PDF and LaTeX source 的中文翻译

TeX 27 2 Updated May 22, 2026

收集和整理的可靠Claude中转API资源列表,帮助开发者快速找到稳定、高性价比的Claude API服务

401 20 Updated Jun 9, 2026

Minimalistic 4D-parallelism distributed training framework for education purpose

Python 2,280 199 Updated Aug 26, 2025

A compact implementation of SGLang, designed to demystify the complexities of modern LLM serving systems.

Python 4,745 787 Updated May 17, 2026

A from-scratch Prefill/Decode disaggregation inference engine for LLMs

Python 161 26 Updated May 10, 2026

Turn any codebase, with its docs, SQL schemas, configs, and PDFs, into a queryable knowledge graph. A /graphify skill for Claude Code, Cursor, Codex, and Gemini CLI: local deterministic AST parsing…

Python 106,118 10,336 Updated Aug 13, 2026

An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.

Rust 195,076 109,162 Updated Aug 6, 2026

Achieve state of the art inference performance with modern accelerators on Kubernetes

Shell 4,024 678 Updated Aug 14, 2026

AI agents running research on single-GPU nanochat training automatically

Python 93,822 13,303 Updated Mar 26, 2026

Bash is all you need - A nano claude code–like 「agent harness」, built from 0 to 1

Python 74,175 12,018 Updated Aug 12, 2026

Parallax is a distributed model serving framework that lets you build your own AI cluster anywhere

Python 1,366 143 Updated Jul 1, 2026

Twitter API Scraper | Without an API key | Twitter Internal API | Free | Twitter scraper | Twitter Bot

Python 4,616 561 Updated Mar 10, 2026

No fortress, purely open ground. OpenManus is Coming.

Python 57,963 10,064 Updated Feb 11, 2026

A live stream development of RL tunning for LLM agents

Python 4,146 590 Updated May 5, 2026

🌐 Make websites accessible for AI agents. Automate tasks online with ease.

Python 109,145 11,991 Updated Aug 13, 2026

Model Context Protocol Servers

TypeScript 89,552 11,443 Updated Aug 10, 2026

A collection of MCP servers.

92,273 14,452 Updated Aug 3, 2026
Jupyter Notebook 646 192 Updated Apr 24, 2023

The math library of Lean 4

Lean 3,853 1,589 Updated Aug 14, 2026

Simple RL training for reasoning

Python 3,869 285 Updated Dec 23, 2025
Next