Skip to content

A statically-typed programming language optimized for LLM code generation. Compiles to Rust and WebAssembly.

active 2026-03-072026-08-19 (UTC)

Complete coverage26,428 / 26,428 hourly files (100%) · 2 absent upstream2023-08-152026-08-20 (UTC)
Events
2.4K
Pushes
1.8K
Pull requests
137
Issues
14
Stars
2
Forks
1

Activity over time

Daily event counts in the loaded window

Line chart, 166 days from 2026-03-07 to 2026-08-19. Pushes: 1,807 total, peak 127 in a day. Pull requests: 137 total, peak 12 in a day. Issues: 14 total, peak 2 in a day. Comments: 8 total, peak 2 in a day. Stars: 2 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

ContributorContributionsPushesPRsComments
O6lvl42K1.8K1348
atzurody3120
dependabot[bot]3210

Recent activity

Latest issues, pull requests and releases

  • Issue#1508O6lvl42026-08-17 11:23
    Reference-suite test mining: ported corpus and the patterns Almide cannot express yet
  • Issue#1400O6lvl42026-08-13 18:27
    A let-bound range OOMs on wasm where native iterates lazily: for-in over a large range diverges
  • Issue#1311O6lvl42026-08-13 17:43
    CI ratchet for front-end throughput: lines/sec budgets for lex, parse, check
  • Issue#1229O6lvl42026-08-12 15:08
    wasm string-accumulator TCO is quadratic: the exact-size free-list never reuses a growing string (fuzz run 31486558420)
  • Pull request#1141O6lvl42026-08-08 13:01
  • Issue comment#1115O6lvl42026-08-05 16:38
    Checker hole: unresolved ctor types outside let pass check, ICE at codegen (E025 gap)
  • Pull request#839O6lvl42026-07-24 08:14
  • Issue comment#790O6lvl42026-07-15 13:06
    v1 test-runner flip surfaced a bug vein: elided-write family fixed (C-136), 14 test files still fail on the v1 leg
  • Pull request#720O6lvl42026-06-16 23:42
  • Issue#719O6lvl42026-06-16 23:36
    build --cdylib ignores [native-deps] and native/*.rs (cargo_build_cdylib skips inject_native_modules)
  • Pull request#700atzurody2026-06-15 00:13
  • Pull request#697atzurody2026-06-15 00:13
  • Issue comment#643O6lvl42026-06-13 00:50
    wasm: Option ?? "" fallback (none arm) in a loop corrupts the rc heap — later allocation traps in __rc_dec; native correct
  • Issue#629O6lvl42026-06-12 05:09
    Effect-fn Option bound to a let then consumed by ?? drops the auto-? unwrap (native invalid Rust; wasm prints wrong value)
  • Issue#621O6lvl42026-06-12 01:57
    Phantom/unused generic type param emits invalid Rust natively (no PhantomData); wasm correct
  • Pull request#619O6lvl42026-06-12 01:18
  • Pull request#613O6lvl42026-06-11 23:56
  • Pull request#605O6lvl42026-06-11 22:18
  • Issue#531O6lvl42026-06-11 12:56
    §4 Stage 2c: canonicalize the four Copy predicates onto CopyClass (behavior-reviewed)
  • Issue#547O6lvl42026-06-11 10:22
    fan.map pure-mapper rejection prints a garbled expected/actual type pair
  • Pull request#511O6lvl42026-06-11 02:08
  • Pull request#508O6lvl42026-06-10 23:24
  • Issue#489O6lvl42026-06-10 01:19
    check/lower: lambda bodies skip the effect auto-? rule (checker clean, rustc E0369)
  • Pull request#450dependabot[bot]2026-06-09 13:42
  • Issue#458O6lvl42026-06-09 13:25
    deps: bump wasm-encoder 0.225.0 → 0.244.0 (#456)

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