Popular repositories Loading

1. PyFLP PyFLP Public

   Forked from demberto/PyFLP

   FL Studio project file parser

   Python 3

2. Category_Theory_Machine_Learning Category_Theory_Machine_Learning Public

   Forked from bgavran/Category_Theory_Machine_Learning

   List of papers studying machine learning through the lens of category theory

   Python

3. lean-zh.github.io lean-zh.github.io Public

   Forked from Lean-zh/lean-zh.github.io

   Homepage of the Lean-zh website.

4. math-in-lean-zh math-in-lean-zh Public

   Forked from Lean-zh/math-in-lean-zh

   Lean 形式化数学-C6文字

   HTML

5. GITCG-MCP1st GITCG-MCP1st Public

   【已作废 / deprecated】第一代 Genius Invocation TCG MCP 实现 —— 见 Meowrium/genius-invokation@mcp-v2

   TypeScript

6. copilot-cli-for-beginners copilot-cli-for-beginners Public

   Forked from github/copilot-cli-for-beginners

   Learn how to get started using the GitHub Copilot CLI!