active 2024-03-26 → 2025-12-18 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 633 days from 2024-03-26 to 2025-12-18. Pushes: 160 total, peak 6 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 27 total, peak 7 in a day. Comments: 8 total, peak 4 in a day. Stars: 0 total, peak 0 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Stars, PRs, issues and forks are under-captured in the later part of this window. GH Archive progressively stopped capturing non-push events during 2026 — −95% or worse by the end of the window. Every series here except Pushes fades for that reason, so a decline above reflects the archive, not this repository. Pushes stay reliable throughout, so read them, and the contributor counts derived from them, as the real signal. Data health has the measurements.
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
Recent activity
Latest issues, pull requests and releases
- Issue#13Josek202025-01-21 09:07Extract more solutions from one problem
- Issue#14Josek202025-01-21 09:07Test epsilon-greedy
- Issue#11Josek202024-10-08 07:05Add caching to the inference / extraction
- Issue#6pevnak2024-09-30 10:35Create MWE
- Issue comment#12pevnak2024-09-30 10:35Expand more nodes during search
- Issue#12pevnak2024-09-30 10:34Expand more nodes during search
- Issue#15pevnak2024-09-30 10:34Switch to A from greedy best first search
- Issue#14pevnak2024-09-30 10:33Test epsilon-greedy
- Issue#10pevnak2024-09-30 10:32Learn only from simplifed expressions (put some threshold on size)
- Issue#5pevnak2024-09-30 10:32Rewrite the loss functions for tree search and policy to share the same code (mostly)
- Issue#4pevnak2024-09-30 10:32Test which matching is faster
- Issue comment#13pevnak2024-09-30 10:32Extract more solutions from one problem
- Issue comment#11pevnak2024-09-30 10:32Add caching to the inference / extraction
- Issue#13pevnak2024-09-27 07:03Extract more solutions from one problem
- Issue#12pevnak2024-09-27 07:00Expand more nodes during search
- Issue#11pevnak2024-09-27 06:53Add caching to the inference / extraction
- Issue#8Josek202024-09-16 09:37Collection of statistics
- Issue#9Josek202024-09-09 21:47Search the whole search tree for a solution
- Issue comment#9Josek202024-09-09 21:46Search the whole search tree for a solution
- Issue comment#9Josek202024-09-09 21:46Search the whole search tree for a solution
- Issue#10pevnak2024-09-09 10:55Learn only from simplifed expressions (put some threshold on size)
- Issue#8pevnak2024-09-09 10:30Collection of statistics
- Issue comment#6pevnak2024-09-09 10:14Create MWE
- Issue comment#6pevnak2024-09-09 10:13Create MWE
- Issue#2pevnak2024-09-09 10:10Add unit tests for rules
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 0 stars here means stars gained during the window, not the repo's star count.