Governance
"CSLib" refers to two distinct structures, and governance reflects that split. The CSLib Initiative provides funding, staffing, and strategic support. The open-source library and community that builds and maintains the code has its own governance — a steering committee and a body of maintainers — independent of RenPhil. The same person may hold roles in both, but the roles themselves remain distinct.
CSLib Project
The open-source project is governed by two main bodies:
-
A steering committee, responsible for securing financial support and guiding the overall vision of the project.
-
A maintainer team, responsible for curating, expanding, and maintaining the code repository and its technical direction.
These groups work together to define the project's roadmap and foster a welcoming and productive environment. New members may be invited based on project needs and individual merit.
Steering committee
The steering committee guides the overall vision of the project and secures its financial support. Its members also form the Strategic Advisory Board of the CSLib Initiative.
Stanford University and Amazon
Google DeepMind and UT Austin
Amazon
Google DeepMind
Lean Chief Architect, Co-Founder of Lean FRO, and Amazon
University of Southern Denmark and Danish Institute for Advanced Study
Maintainers
The maintainer team is responsible for the quality of the codebase, establishing technical standards and ensuring coherence across contributions. It is organized into a lead maintainer, technical leads, and area maintainers.
Lead maintainer
The lead maintainer coordinates the overall work of the maintainer team and oversees the project's repositories.
University of Southern Denmark and Danish Institute for Advanced Study
Technical leads
Technical leads guide long-term developments that may span multiple areas of the codebase, offering specialised expertise.
CSLib Director and Professor at FGV/EMAp
ETH Zurich
Area maintainers
Area maintainers are trusted contributors who take ownership of specific areas of the codebase, supporting their growth both as subject-matter experts and reviewers.
Drexel University. Lambda calculus, metaprogramming
Lean FRO. Continuous Integration and Deployment (CI/CD) with upstream (Lean, mathlib)
Contact
The best option is to post your question or message in the CSLib Zulip channel. You can also open an issue on the CSLib repository. Alternatively, you may contact any of us.