leanprover/cslib

The Lean Computer Science Library (CSLib)

GitHub repository with 585 stars and 158 forks.

Language: Lean

Topics: computer-science, lean

Open provider repository

Latest metric snapshot

2026-06-13: 585 stars and 158 forks.

Trending in 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/mathlib4

    The math library of Lean 4

    GitHub repository with 3,443 stars and 1,404 forks.

    Trending score: 2.29; stars gained: +8; forks gained: +7.

    Language: Lean

    Topics: lean4

  3. 3. Verified-zkEVM/clean

    Lean circuit DSL

    GitHub repository with 151 stars and 23 forks.

    Trending score: 1.26; stars gained: +3; forks gained: +0.

    Language: Lean

  4. 4. lfglabs-dev/verity

    Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.

    GitHub repository with 119 stars and 14 forks.

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

    Language: Lean

  5. 5. leanprover/comparator

    GitHub repository with 82 stars and 15 forks.

    Trending score: 1.21; stars gained: +3; forks gained: +1.

    Language: Lean

Trending topic: computer-science

  1. 1. nilbuild/developer-roadmap

    Interactive roadmaps, guides and other educational content to help developers grow in their careers.

    GitHub repository with 357,301 stars and 44,214 forks.

    Trending score: 4.66; stars gained: +443; forks gained: +21.

    Language: TypeScript

    Topics: angular-roadmap, backend-roadmap, blockchain-roadmap, computer-science, dba-roadmap, developer-roadmap

  2. 2. trekhleb/javascript-algorithms

    📝 Algorithms and data structures implemented in JavaScript with explanations and links to further readings

    GitHub repository with 196,092 stars and 31,054 forks.

    Trending score: 2.71; stars gained: +55; forks gained: -13.

    Language: JavaScript

    Topics: javascript, algorithms, algorithm, javascript-algorithms, computer-science, interview

  3. 3. Developer-Y/cs-video-courses

    List of Computer Science courses with video lectures.

    GitHub repository with 81,801 stars and 11,301 forks.

    Trending score: 2.37; stars gained: +15; forks gained: -1.

    Topics: algorithms, bioinformatics, computational-biology, computational-physics, computer-architecture, computer-science

  4. 4. KarryRen/SCU-CS-Class-Materials

    四川大学计算机学院本科课程资料（更新中 🔥）如果您觉得有帮助，还请点亮一下 Star 🌟 哦~ 万分感谢！

    GitHub repository with 768 stars and 88 forks.

    Trending score: 1.76; stars gained: +12; forks gained: -1.

    Language: Jupyter Notebook

    Topics: computer-science, finance, notes, scu

  5. 5. sndsh404/summer-2027-internships

    Summer 2027 and off-season tech internships in the US. Software, data and ML, hardware, quant, and product roles, updated regularly.

    GitHub repository with 51 stars and 0 forks.

    Trending score: 1.24; stars gained: +11; forks gained: +0.

    Topics: 2027, 2027-2028-cycle, computer-science, cs-internships, data-science, internship

  6. 6. ls1intum/Artemis

    Artemis - Interactive Learning with Automated Feedback

    GitHub repository with 776 stars and 370 forks.

    Trending score: 1.08; stars gained: +2; forks gained: +1.

    Language: Java

    Topics: apollon, artificial-intelligence, assessment, autograding, automatic-feedback, computer-science