Pulse Contributors Code Frequency Recent Commits

2026-06-03 - 2026-06-10

Period: 1 week

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

Overview

4 Active Pull Requests

0 Active Issues

3
Merged Pull Requests 1
Proposed Pull Request 0
Closed Issues 0
New Issues

Excluding merges, 0 authors have pushed 0 commits to main and 42 commits to all branches. On main, 0 files have changed and there have been 0 additions and 0 deletions.

3 Pull requests merged by 1 user

Merged #7 Usage documentation 2026-06-05 10:29:42 +00:00

Merged #6 Basic type checker 2026-06-05 09:31:54 +00:00

Merged #5 Improve syntax and types 2026-06-05 09:20:56 +00:00

1 Pull request proposed by 1 user

Proposed #8 WIP: Subtyping 2026-06-08 07:13:28 +00:00