Pulse Contributors Code frequency Recent commits

2025-11-28 - 2026-05-28

Period: 6 months

1 day 3 days 1 week 1 month 3 months 6 months 1 year

Overview

0 active pull requests

1 active issue

0
Merged pull requests 0
Proposed pull requests 0
Closed issues 1
New issue

Excluding merges, 1 author has pushed 12 commits to main and 44 commits to all branches. On main, 117 files have changed and there have been 28938 additions and 12269 deletions.

1 issue created by 1 user

Opened #1 CType inductive-type encoding (for paideia K7 cubical Path) 2026-04-30 15:47:11 -05:00