manifesto

Public

Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.

Other

Updated Nov 2, 2025

Created Dec 18, 2017

68 stars

6 forks

8 watchers

37 open issues

Languages

Codebase composition by bytes

No language data available

Top Contributors

76 commits

65 commits

3 commits

1 commits

1 commits

Recent Stargazers

over 7 years ago

over 7 years ago

over 7 years ago

over 7 years ago

over 7 years ago

over 7 years ago

over 7 years ago

over 7 years ago

over 7 years ago

over 7 years ago

Repository Complexity

Approximate file count and repository size.

Files9

Size (KB)218

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 20Closed Issues 80

Open Issues100

Activity Peak

Most recent day with highest activityFeb 3, 2026 • 2 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

GitHub Analytics

manifesto