GitHub Analytics

GitHub Analytics

Noq

Public

Simple expression transformer that is not Coq.

MIT License

Updated Jan 31, 2026

Created Mar 22, 2022

264 stars

24 forks

7 watchers

15 open issues

Languages

Codebase composition by bytes

Top Contributors

226 commits

5 commits

Recent Stargazers

DE DemonInTheCloset

almost 4 years ago

almost 4 years ago

almost 4 years ago

almost 4 years ago

BA barbarbar338

almost 4 years ago

HO holychicken99

almost 4 years ago

almost 4 years ago

almost 4 years ago

almost 4 years ago

almost 4 years ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)187

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 15Closed Issues 10

Open Issues25

Activity Peak

Most recent day with highest activityJan 31, 2026 • 1 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.