lean-dojo/LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

GitHub repository with 1,284 stars and 126 forks.

Language: C++

Topics: lean, llm-inference, machine-learning, theorem-proving, lean4, formal-mathematics, llm

Open provider repository

Latest metric snapshot

2026-06-13: 1,284 stars and 126 forks.

Trending in C++

  1. 1. ggml-org/llama.cpp

    LLM inference in C/C++

    GitHub repository with 116,605 stars and 19,593 forks.

    Trending score: 4.92; stars gained: +285; forks gained: +59.

    Language: C++

    Topics: ggml

  2. 2. opencv/opencv

    Open Source Computer Vision Library

    GitHub repository with 89,160 stars and 56,658 forks.

    Trending score: 4.35; stars gained: +147; forks gained: +16.

    Language: C++

    Topics: c-plus-plus, computer-vision, deep-learning, image-processing, opencv

  3. 3. alibaba/zvec

    A lightweight, lightning-fast, in-process vector database

    GitHub repository with 10,064 stars and 583 forks.

    Trending score: 4.23; stars gained: +283; forks gained: +17.

    Language: C++

    Topics: agent-skills, db, embedded, faiss, hnsw, llm-memory

  4. 4. ggml-org/whisper.cpp

    Port of OpenAI's Whisper model in C/C++

    GitHub repository with 50,727 stars and 5,661 forks.

    Trending score: 3.92; stars gained: +155; forks gained: +26.

    Language: C++

    Topics: inference, openai, speech-recognition, speech-to-text, transformer, whisper

  5. 5. noctalia-dev/noctalia

    A sleek and minimal desktop shell thoughtfully crafted for Wayland.

    GitHub repository with 7,751 stars and 546 forks.

    Trending score: 3.82; stars gained: +91; forks gained: +10.

    Language: C++

    Topics: dotfiles, hyprland, linux, niri, noctalia, quickshell

  6. 6. ml-explore/mlx

    MLX: An array framework for Apple silicon

    GitHub repository with 27,010 stars and 1,908 forks.

    Trending score: 3.68; stars gained: +58; forks gained: +10.

    Language: C++

    Topics: mlx

Trending topic: lean

  1. 1. leanprover/lean4

    Lean 4 programming language and theorem prover

    GitHub repository with 8,237 stars and 873 forks.

    Trending score: 2.33; stars gained: +13; forks gained: +2.

    Language: Lean

    Topics: lean, lean4

  2. 2. leanprover-community/batteries

    The "batteries included" extended library for the Lean programming language and theorem prover

    GitHub repository with 392 stars and 149 forks.

    Trending score: 0.42; stars gained: +0; forks gained: +1.

    Language: Lean

    Topics: lean, lean4

  3. 3. lean-ja/lean-by-example

    コード例で学ぶ Lean 言語

    GitHub repository with 169 stars and 14 forks.

    Trending score: 0.23; stars gained: +0; forks gained: +0.

    Language: Lean

    Topics: lean, lean4, mdbook, functional-programming, theorem-proving, reference

  4. 4. hawkrobe/linglib

    A Lean 4 library for formal linguistics.

    GitHub repository with 10 stars and 0 forks.

    Trending score: 0.10; stars gained: +0; forks gained: +0.

    Language: Lean

    Topics: formal, lean, linguistics, mathlib

  5. 5. l-gevity/l-gevity-skills

    The L-GEVITY Software Architecture AI Skills

    GitHub repository with 19 stars and 5 forks.

    Trending score: 0.08; stars gained: +0; forks gained: +0.

    Language: PowerShell

    Topics: ai, architecture, cicd, complexity, lean, optimization

  6. 6. frenzymath/Archon

    AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.

    GitHub repository with 131 stars and 24 forks.

    Trending score: 0.10.

    Language: Python

    Topics: ai-agents, automation, claude, claude-code, codex, dag