Skip to content
GitHub Explorer

Brandon-Rozek/matmod

View on GitHub ↗Related repositories →

Matrix Model Generator for Implicative Connectives

active 2024-04-09 → 2024-10-04 (UTC)

Partial coverage17,676 / 22,714 hourly files (78%) · 2 absent upstream · 5,037 failed, retryable2024-01-09 → 2026-08-12 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
57
Pushes
23
Pull requests
8
Issues
11
Stars
1
Forks
0

Activity over time

Daily event counts in the loaded window

Line chart, 179 days from 2024-04-09 to 2024-10-04. Pushes: 23 total, peak 12 in a day. Pull requests: 8 total, peak 6 in a day. Issues: 11 total, peak 4 in a day. Comments: 7 total, peak 5 in a day. Stars: 1 total, peak 1 in a day.

  • Pushes
  • Pull requests
  • Issues
  • Comments
  • Stars

Top contributors

Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity

ContributorContributionsPushesPRsComments
Brandon-Rozek492387

Recent activity

Latest issues, pull requests and releases

  • Issue comment#15Brandon-Rozek2024-10-04 19:56
    Added ability to parse necessitation
  • Pull request#15Brandon-Rozek2024-10-04 19:51
  • Issue comment#14Brandon-Rozek2024-10-04 15:03
    Discard Order-Dependent Subalgebras
  • Issue#14Brandon-Rozek2024-10-04 15:02
    Discard Order-Dependent Subalgebras
  • Issue comment#9Brandon-Rozek2024-10-04 15:00
    Discard Subalgebras with top/bottom elements
  • Pull request#11Brandon-Rozek2024-10-04 14:33
  • Issue#12Brandon-Rozek2024-10-04 14:33
    Handle Fragments without Negation
  • Pull request#13Brandon-Rozek2024-10-04 14:33
  • Pull request#13Brandon-Rozek2024-10-04 03:35
  • Issue comment#4Brandon-Rozek2024-10-04 02:41
    Support Custom Connectives
  • Issue#12Brandon-Rozek2024-10-04 02:28
    Handle Fragments without Negation
  • Pull request#11Brandon-Rozek2024-10-04 02:00
  • Pull request#10Brandon-Rozek2024-10-04 01:39
  • Issue comment#9Brandon-Rozek2024-10-04 01:36
    Possible VSP Optimization: Discard Subalgebras with top/bottom elements
  • Issue#9Brandon-Rozek2024-10-04 01:13
    Possible VSP Optimization: Discard Subalgebras with top/bottom elements
  • Issue comment#8Brandon-Rozek2024-06-24 02:50
    Match Numbering Scheme to Magics
  • Issue#8Brandon-Rozek2024-06-24 02:50
    Match Numbering Scheme to Magics
  • Issue comment#7Brandon-Rozek2024-06-15 16:12
    Possible VSP Optimization: Discard models with a single designated value
  • Issue#7Brandon-Rozek2024-06-15 16:11
    Possible VSP Optimization: Discard models with a single designated value
  • Issue#5Brandon-Rozek2024-06-15 15:53
    Parse Error on Larger Matrices
  • Pull request#6Brandon-Rozek2024-06-15 15:48
  • Pull request#6Brandon-Rozek2024-06-15 15:47
  • Issue#5Brandon-Rozek2024-06-15 15:45
    Parse Error on Larger Matrices
  • Issue#4Brandon-Rozek2024-06-14 01:26
    Support Custom Connectives
  • Issue#3Brandon-Rozek2024-06-14 01:25
    Handle necessitation and possibility

Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 1 stars here means stars gained during the window, not the repo's star count.