Strategic Organizations

CSLib is supported by some strategic organizations that pursue long-term visions and roadmaps, read more below.

CSLib Initiative

A programme by Renaissance Philanthropy whose mission is to support the growth of the CSLib open-source project, providing funding, staffing, coordination, and strategic focus. Read more on the CSLib Initiative page.

FORM

The Centre for Formal Methods and Future Computing, a strategic partner in the development of CSLib. Read more on the FORM page.