loogle

Public

Mathlib search tool

Apache License 2.0

Updated Feb 6, 2026

Created Aug 19, 2023

122 stars

23 forks

4 watchers

17 open issues

Languages

Codebase composition by bytes

Top Contributors

274 commits

6 commits

2 commits

1 commits

1 commits

1 commits

1 commits

1 commits

1 commits

1 commits

Recent Stargazers

over 2 years ago

over 2 years ago

over 2 years ago

over 2 years ago

over 2 years ago

over 2 years ago

over 2 years ago

over 2 years ago

over 2 years ago

over 2 years ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)339

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 17Closed Issues 30

Open Issues47

Activity Peak

Most recent day with highest activityFeb 6, 2026 • 1 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

GitHub Analytics

loogle