LeanCopilot

Repository facts

Stars

1,333

Forks

130

Open issues and pull requests

0

Primary language

C++

License

MIT License (MIT)

Owner

lean-dojo · Organization

Created

Sep 9, 2023

Last push

Oct 13, 2026

Topics

• formal-mathematics
• lean
• lean4
• llm
• llm-inference
• machine-learning
• theorem-proving

Rank #4,993 of 9,507 in AI on GitHub, by stars. Data from the GitHub API, fetched Oct 18, 2026; star counts change daily. Stars measure popularity, not quality or safety, and a listing is not an endorsement. How this list is made

Related projects

Projects that share this one’s GitHub topics.

• 5,805

  Rank 5,805: fabio-rovai/open-ontologies

  Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.

  1,082 starsRustMITLast push Oct 17, 2026

• 2,759

  Rank 2,759: sahibzada-allahyar/YC-Killer

  A library of enterprise-grade AI agents designed to democratize artificial intelligence and provide free, open-source alternatives to overvalued Y Combinator startups.

  2,848 starsTypeScriptNo license file detectedLast push Aug 10, 2026

• 8,484

  Rank 8,484: andrewkchan/yalm

  Yet Another Language Model: LLM inference in C++/CUDA, no libraries except for I/O

  604 starsC++No license file detectedLast push Sep 13, 2025

• 138

  Rank 138: ray-project/ray

  Ray is an AI compute engine. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.

  44,061 starsPythonApache-2.0Last push Oct 18, 2026

• 908

  Rank 908: FareedKhan-dev/kimi-k3-in-c

  A 2.78-trillion-parameter Kimi K3 running inference on a single CPU in 8.24 GB of RAM. Portable C99: no BLAS, no framework, no GPU.

  9,094 starsCApache-2.0Last push Oct 2, 2026

• 922

  Rank 922: bentoml/BentoML

  The easiest way to serve AI apps and models - Build Model Inference APIs, Job queues, LLM apps, Multi-model pipelines, and more!

  8,906 starsPythonApache-2.0Last push Oct 5, 2026