8000 CSLib Community · GitHub
[go: up one dir, main page]
Skip to content
< 8000 main>
@cslib-community

CSLib Community

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

Popular repositories Loading

  1. complexitylib complexitylib Public

    Computational complexity theory in Lean built on top of CSLib.

    Lean 24 13

  2. fad fad Public

    Functional Algorithms Design

    Lean 19 8

  3. AlgoLib AlgoLib Public

    This is the repository for algorithm design.

    Lean 10 5

  4. bignum bignum Public

    port of s2n-bignum to Lean

    Lean 10

  5. cslib-community.github.io cslib-community.github.io Public

    The CSLib website

    Lean 1 2

  6. CSwL CSwL Public template

    Computational Semantics with Lean

    Lean 1 1

Repositories

Showing 10 of 12 repositories
View all repositories

Top languages

Loading…

Most used topics

Loading…
0