acl2

Public

ACL2 System and Books as Maintained by the Community

Other

Updated Feb 10, 2026

Created Sep 1, 2014

424 stars

121 forks

33 watchers

119 open issues

Languages

Codebase composition by bytes

Top Contributors

17671 commits

15175 commits

4701 commits

2967 commits

1866 commits

1809 commits

1268 commits

657 commits

600 commits

500 commits

Recent Stargazers

over 11 years ago

over 11 years ago

over 11 years ago

over 11 years ago

about 11 years ago

about 11 years ago

about 11 years ago

about 11 years ago

almost 11 years ago

almost 11 years ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)1,578,506

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 10Closed Issues 90

Open Issues100

Activity Peak

Most recent day with highest activityFeb 10, 2026 • 12 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

GitHub Analytics

acl2