Pulse Contributors Code frequency Recent commits

2026-04-28 - 2026-05-28

Period: 1 month

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 5 commits to main and 37 commits to all branches. On main, 19 files have changed and there have been 2642 additions and 266 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