Skip to content
@cslib-community

CSLib Community

Home for community projects built with, around, and for CSLib

Popular repositories Loading

  1. fad fad Public

    Functional Algorithms Design

    Lean 17 5

  2. AlgoLib AlgoLib Public

    This is the repository for algorithm design.

    Lean 8 4

  3. bignum bignum Public

    port of s2n-bignum to Lean

    Lean 6

  4. cslib-community.github.io cslib-community.github.io Public

    The CSLib website

    Lean 1 2

  5. CSwL CSwL Public template

    Computational Semantics with Lean

    Lean 1

Repositories

Showing 5 of 5 repositories
  • bignum Public

    port of s2n-bignum to Lean

    cslib-community/bignum's past year of commit activity
    Lean 6 Apache-2.0 0 2 0 Updated Sep 15, 2026
  • CSwL Public template

    Computational Semantics with Lean

    cslib-community/CSwL's past year of commit activity
    Lean 0 Apache-2.0 1 12 0 Updated Sep 14, 2026
  • fad Public

    Functional Algorithms Design

    cslib-community/fad's past year of commit activity
    Lean 17 Apache-2.0 5 1 3 Updated Sep 11, 2026
  • cslib-community.github.io Public

    The CSLib website

    cslib-community/cslib-community.github.io's past year of commit activity
    Lean 1 Apache-2.0 2 0 0 Updated Sep 7, 2026
  • AlgoLib Public

    This is the repository for algorithm design.

    cslib-community/AlgoLib's past year of commit activity
    Lean 8 Apache-2.0 4 0 5 Updated Sep 7, 2026

Top languages

Loading…

Most used topics

Loading…