A collection of formalized statements of conjectures in Lean.

Adaptive Regularized Newton Method for Riemannian Optimization

iikira/BaiduPCS-Go原版基础上集成了分享链接/秒传链接转存功能

Libraries and models for next-gen UI

你作为玩家刚结束一场战斗，法力和体力都已耗尽，你走进了一座看似废弃的小屋，打算在里面整理装备和恢复状态，但这时屋里阴影处潜伏着一只能控制你的跳蛋和观察你动作、表情、服装、环境的触手怪...

Evidence-first GitHub template for auditable human-AI research collaboration

Growing public index of curated EULER mathematical research outcomes

Lean 4 formalization and audit ledger for Gao-type zero-sum and generalized dihedral results

Focused Python library for slack-based DEA, undesirable outputs, environmental frontiers, and panel productivity analysis.

the runtime your coding agents live on

Explore original loading button animations built with WebGL, SVG, Canvas and CSS—each with its own status message and motion system.

Auditable AI4Math research kernel with typed evidence and composition gates

ReturnBench-150: open mathematical representation and certificate benchmark

[AetherDB (OmniS erch)] – An AI‑augmented SQLite database with a FastAPI web interface, pluggable LLM extractors (OpenAI/Ollama), and dual‑layer API key security – deployable on any PC or server an…

AI Skills for Economists

Legado 3.0 Book Reader with powerful controls & full functions❤️阅读3.0, 阅读是一款可以自定义来源阅读网络内容的工具，为广大网络文学爱好者提供一种方便、快捷舒适的试读体验。

Large model-assisted paper review

Awesome List for Agentic RL

A collection of agent recipes, reference patterns, and vertical plugins built with Agent Development Kit (ADK)

MCP server that tracks student performance and identifies learning gaps

A project to help researchers reproduce research papers using LLMs, addressing the problem of "Coming Soon" repos with no actual code.

Writing AI Conference Papers: A Handbook for Beginners

QUIT: A Human-in-the-Loop Platform for AI Research Automation

[ICLR'24 spotlight] An open platform for training, serving, and evaluating large language model for tool learning.

τ-Bench: A Benchmark for Tool-Agent-User Interaction in Real-World Domains

A curated collection of AI agent research papers released in 2026, covering agent engineering, memory, evaluation, workflows, and autonomous systems.

A curated list of autonomous improvement loops, research agents, and autoresearch-style systems inspired by Karpathy's autoresearch.

Research orchestration platform where human researchers and AI agents collaborate