Skip to content
View allen7u's full-sized avatar
  • China

Block or report allen7u

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

Starred repositories

Showing results

An experiment to see if an LLM trained from scratch on text prior to 1900 can come up with quantum mechanics and relativity.

Python 33 3 Updated Apr 9, 2026

An agentic skills framework & software development methodology that works.

Shell 174,081 15,355 Updated Apr 28, 2026

Harness Engineering From Claude Code source code to AI Coding

HTML 1,281 237 Updated Apr 10, 2026

Supercharge Your LLM with the Fastest KV Cache Layer

Python 8,165 1,140 Updated Apr 30, 2026

微信视频号下载工具

Go 1,807 273 Updated Apr 26, 2026

微信视频号下载器

JavaScript 5,582 813 Updated Apr 29, 2026

Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.

TypeScript 186,216 57,252 Updated Apr 30, 2026

💧 Liquid Tensor Experiment

Lean 238 18 Updated Jan 23, 2024

Natural Number Game

Lean 315 73 Updated Mar 16, 2026

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

HTML 337 175 Updated Dec 9, 2024

The math library of Lean 4

Lean 3,237 1,266 Updated Apr 30, 2026

Lean 4 programming language and theorem prover

Lean 7,931 828 Updated Apr 30, 2026

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

TypeScript 366,657 75,275 Updated Apr 30, 2026

🐾 OpenClaw 101 — 从零开始,7天掌握你的AI私人助理 | 全网资源聚合站

TypeScript 2,809 323 Updated Apr 11, 2026

The first open-source agent skills builder. Define skills by vibe workflow, run on Claude Code, Cursor, Codex & more. Build Clawdbot 🦞· APIs for Lovable · Bots for Slack & Lark/Feishu · Skills are …

TypeScript 7,264 713 Updated Mar 25, 2026

天涯kk大神三部曲

241 55 Updated Dec 20, 2023

PageLM is a community driven version of NotebookLM & a education platform that transforms study materials into interactive resources like quizzes, flashcards, notes, and podcasts.

TypeScript 1,602 219 Updated Mar 27, 2026

A curated collection of the strongest NotebookLM slide prompts sourced from the real creative underground . Your go-to resource for AI powerpoint :P

2,574 345 Updated Jan 26, 2026

Unofficial Python API and agentic skill for Google NotebookLM. Full programmatic access to NotebookLM's features—including capabilities the web UI doesn't expose—via Python, CLI, and AI agents like…

Python 12,189 1,677 Updated Apr 21, 2026

An open source, privacy focused alternative to NotebookLM for teams with no data limits. Join our Discord: https://discord.gg/ejRNvftDp9

Python 14,026 1,312 Updated Apr 30, 2026

A Claude Code plugin that automatically captures everything Claude does during your coding sessions, compresses it with AI (using Claude's agent-sdk), and injects relevant context back into future …

TypeScript 70,072 5,985 Updated Apr 30, 2026

Complete documentation for Claude Cowork - 43 workflows, 70 prompts for knowledge workers and small businesses

Shell 139 19 Updated Apr 13, 2026

A tremendous feat of documentation, this guide covers Claude Code from beginner to power user, with production-ready templates for Claude Code features, guides on agentic workflows, and a lot of gr…

TypeScript 4,070 537 Updated Apr 29, 2026

Multi-provider routing for Claude Code CLI. Use your Copilot subscription, Ollama offline, or Anthropic Direct.

Shell 51 5 Updated Apr 4, 2026

Distributed Training Over-The-Internet

1,018 51 Updated Oct 14, 2025

The agent that grows with you

Python 126,145 18,858 Updated Apr 30, 2026

Use Claude Code as the foundation for coding infrastructure, allowing you to decide how to interact with the model while enjoying updates from Anthropic.

TypeScript 33,258 2,672 Updated Mar 4, 2026

一个用于管理和切换 Claude Code 和 Codex 不同供应商配置的桌面应用

TypeScript 10 1 Updated Oct 22, 2025

Specification and documentation for Agent Skills

Python 17,603 1,045 Updated Apr 22, 2026
Next