Popular repositories Loading

1. cursor-free-vip cursor-free-vip Public

   Forked from yeongpin/cursor-free-vip

   [Support 0.49.x]（Reset Cursor AI MachineID & Bypass Higher Token Limit） Cursor Ai ，自动重置机器ID ， 免费升级使用Pro功能: You've reached your trial request limit. / Too many free trial accounts used on this machi…

   Python 1 1

2. lean-pipes lean-pipes Public

   Lean

3. colorized colorized Public

   Forked from algebraic-dev/colorized

   🌈 | A Lean 4 library designed to enhance terminal output with vibrant ANSI escape sequences.

   Lean

4. coq-haskell coq-haskell Public

   Forked from jwiegley/coq-haskell

   A library for formalizing Haskell types and functions in Coq

   Coq

5. KlicStudio KlicStudio Public

   Forked from krillinai/KrillinAI

   A video translation and dubbing tool powered by LLMs, offering professional-grade translations and one-click full-process deployment. It can generate content optimized for platforms like YouTube，T…

   Go

6. lean-glob lean-glob Public

   Lean