Open Hub
Open Hub

 Settings |  Report Duplicate

1
I Use This!
Very High Activity

Commits : Listings

Analyzed about 21 hours ago. based on code collected 2 days ago.
Nov 13, 2025 — Nov 13, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Merge branch 'main' into claude/fjs-edag-readme-2bentm
Sergey Shandar
More... 3 months ago
edag: own's string-key rule is a runtime-value constraint, not a shape guarantee
Claude
More... 3 months ago
effects/node: file the long-lived subprocess effect (#1649)
Sergey Shandar
More... 3 months ago
Merge branch 'claude/fjs-edag-readme-2bentm' into edag21
Sergey Shandar
More... 3 months ago
edag: cite per-invocation memoization and own's exact lookup, per the stage-1 baseline
Claude
More... 3 months ago
Properties
Sergey Shandar
More... 3 months ago
properties
Sergey Shandar
More... 3 months ago
edag: README — escape pipes in the op2 id table row, point the contract of record at the opNId docs
Claude
More... 3 months ago
ok
Sergey Shandar
More... 3 months ago
break the cycle
Sergey Shandar
More... 3 months ago
effects/node: spawn note - require the readiness race to unsubscribe
o2alexanderfedin
More... 3 months ago
edag: object — __proto__ is a data key, never a prototype assignment
Claude
More... 3 months ago
Merge remote branch updates (main merge with bnf/ll1 changes)
Claude
More... 3 months ago
edag: descriptor is structural not a node; entries ordered with later-wins; comma needs true-root operands
Claude
More... 3 months ago
Merge branch 'main' into effects/node-spawn-todo
Sergey Shandar
More... 3 months ago
Merge branch 'main' into claude/fjs-edag-readme-2bentm
Sergey Shandar
More... 3 months ago
bnf/ll1: add an SSN grammar proof (#1661)
Sergey Shandar
More... 3 months ago
edag: op2Id — the => body operand is deferred to each call, like the other positional laziness
Claude
More... 3 months ago
spread and items.
Sergey Shandar
More... 3 months ago
edag: comma requires at least two operands — a single-operand comma is the identity, non-canonical
Claude
More... 3 months ago
edag: validate is shape-only (cross-=> sharing unchecked); note &&/||/?? positional laziness on op2Id
Claude
More... 3 months ago
bnf/ll1: reuse isMatchSuccess/expectMatch across proof.f.mjs
Claude
More... 3 months ago
Refactor match validation logic into reusable helper functions (#1664)
Sergey Shandar
More... 3 months ago
Merge branch 'rtti-bnf' into claude/pr-1661-comments-3f5xn2
Sergey Shandar
More... 3 months ago
Merge origin/main: adapt edag docs to the Op0/op1/op2 consolidation
Claude
More... 3 months ago
Merge branch 'main' into rtti-bnf
Sergey Shandar
More... 3 months ago
effects/node: childReadAny must not consume the losing stream
o2alexanderfedin
More... 3 months ago
edag: consolidate undefinedOp/args/frame into Op0 (#1662)
Sergey Shandar
More... 3 months ago
bnf/ll1: address PR review — hoist SSN proof helpers, destructure MatchResult
Claude
More... 3 months ago
edag: replace undefined-meaning rationale with the real design principle
Sergey Shandar
More... 3 months ago