Skip to content

@cslib-community CSLib Community

All

    Repositories list

    5 repositories

    • AlgoLib

      Public
      This is the repository for algorithm design.
      Lean
      •
      Apache License 2.0
      •4•8•0•5•Updated Sep 2, 2026Sep 2, 2026

    • CSwL

      Public template
      Computational Semantics with Lean
      Lean
      •
      Apache License 2.0
      •0•0•1•0•Updated Sep 2, 2026Sep 2, 2026

    • bignum

      Public
      port of s2n-bignum to Lean
      Lean
      •
      Apache License 2.0
      •0•6•2•0•Updated Aug 31, 2026Aug 31, 2026

    • cslib-community.github.io

      Public
      Lean
      •
      Apache License 2.0
      •2•1•0•0•Updated Aug 18, 2026Aug 18, 2026

    • fad

      Public
      Functional Algorithms Design
      Lean
      •
      Apache License 2.0
      •5•16•2•2•Updated Aug 12, 2026Aug 12, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.