codegen

Public

Coq plugin for monomorphization and C code generation

GNU Lesser General Public License v2.1

Updated Jan 30, 2026

Created Jul 20, 2017

39 stars

3 forks

4 watchers

1 open issues

Languages

Codebase composition by bytes

Top Contributors

1815 commits

1 commits

Recent Stargazers

over 8 years ago

over 8 years ago

over 8 years ago

almost 8 years ago

almost 8 years ago

almost 8 years ago

almost 8 years ago

almost 8 years ago

almost 8 years ago

over 7 years ago

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 1Closed Issues 5

Open Issues6

Activity Peak

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

GitHub Analytics