Skip to content

The effect row is the abstraction; the backend picks the mechanism. An affine-typed language compiling to verifiable typed WebAssembly and Deno.

active 2025-12-132026-08-08 (UTC)

Partial coverage14,767 / 18,014 hourly files (82%) · 2 absent upstream · 3,246 failed, retryable2024-07-222026-08-11 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
1.2K
Pushes
449
Pull requests
140
Issues
44
Stars
1
Forks
0

Activity over time

Daily event counts in the loaded window

Line chart, 239 days from 2025-12-13 to 2026-08-08. Pushes: 449 total, peak 23 in a day. Pull requests: 140 total, peak 12 in a day. Issues: 44 total, peak 9 in a day. Comments: 77 total, peak 8 in a day. Stars: 1 total, peak 1 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 comment#634github-actions[bot]2026-06-21 14:19
    feat(formal): Wave 3 capstone — quantitative typing tracks usage soundly
  • Pull request#621hyperpolymath2026-06-21 12:08
  • Issue#607hyperpolymath2026-06-21 00:24
    Codegen follow-ups surfaced by the #138 / standalone-CI work
  • Issue comment#609github-actions[bot]2026-06-21 00:11
    docs: author the proof-needs inventory (P-/F-/K- obligation series)
  • Pull request#608hyperpolymath2026-06-20 19:37
  • Pull request#577dependabot[bot]2026-06-14 04:26
  • Pull request#590hyperpolymath2026-06-14 04:25
  • Pull request#588hyperpolymath2026-06-14 03:24
  • Issue comment#587github-actions[bot]2026-06-14 03:09
    compiler: lower String `==`/`!=` to a byte comparison (string-wall slice 9)
  • Pull request#584hyperpolymath2026-06-14 01:36
  • Pull request#584hyperpolymath2026-06-14 01:21
  • Issue comment#583github-actions[bot]2026-06-14 01:12
    compiler: lower polymorphic len() to wasm (string + array length)
  • Pull request#582hyperpolymath2026-06-13 23:48
  • Issue comment#574github-actions[bot]2026-06-13 12:11
    design: lowering string ++ (and slice) to wasm — proposal for sign-off
  • Issue comment#544github-actions[bot]2026-06-05 22:49
    migrate(C11): UI/accessibility coprocessors — NO_NEW_BRAINS
  • Issue comment#505github-actions[bot]2026-06-01 01:41
    feat(stdlib): pub-mark documented string + collections fns (unblock megaport)
  • Issue comment#509github-actions[bot]2026-05-31 15:18
    feat(stdlib): STEP 4-B randomness + perf.now bindings (Refs #239, closes standards#327)
  • Issue comment#505github-actions[bot]2026-05-31 15:18
    feat(stdlib): pub-mark documented string + collections fns (unblock megaport)
  • Issue comment#510github-actions[bot]2026-05-31 14:12
    feat(stdlib): Canvas.affine — HTML5 Canvas 2D rendering (bindings #8)
  • Pull request#502hyperpolymath2026-05-31 07:33
  • Issue comment#446hyperpolymath2026-05-31 07:26
    [campaign] AffineScript top-50 framework bindings roadmap (UMBRELLA)
  • Pull request#474hyperpolymath2026-05-31 07:22
  • Pull request#504hyperpolymath2026-05-31 07:13
  • Pull request#502hyperpolymath2026-05-31 07:12
  • Issue comment#488hyperpolymath2026-05-31 07:03
    [Repo] res-to-affine partial-port mode: switch→match / function translation + module-qualified references

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.