F

functionalscript

Settings | Report Duplicate

1

I Use This!

Very High Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 2 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Nov 13, 2025 — Nov 13, 2026 Showing page 368 of 540 Search / Filter on:
ebnf/data: hoist the proof's name lookup to module scope	Sergey Shandar	More...				2 months ago
ebnf/ll1: refuse a symbol outside the domain, and a zero-bound repeat begins with nothing	Claude	More...				2 months ago
ebnf/map: a thunk is its own key, and a look-alike is refused	Claude	More...				2 months ago
Merge remote-tracking branch 'origin/ebnf-data' into ebnf-map	Claude	More...				2 months ago
ebnf/data: say what a repeat's `max` may be, in the type's doc	Sergey Shandar	More...				2 months ago
Merge remote-tracking branch 'origin/ebnf-map' into ebnf-ll1	Claude	More...				2 months ago
ebnf/map: a key is a spelling, and EOF is a branch	Claude	More...				2 months ago
ebnf/ll1: the LL(1) backend, building the typed AST	Claude	More...				2 months ago
Merge remote-tracking branch 'origin/ebnf-data' into ebnf-map	Claude	More...				2 months ago
ebnf/map: sets carry their spelling as a type, and a hole is refused	Claude	More...				2 months ago
ebnf/data: a repeat's `max` meets the same predicate its `min` does	Sergey Shandar	More...				2 months ago
Merge remote-tracking branch 'origin/ebnf-data' into ebnf-map	Claude	More...				2 months ago
ebnf/data: refuse `-0` before the memo can hand it `0`'s rule	Sergey Shandar	More...				2 months ago
Merge remote-tracking branch 'origin/ebnf-data' into ebnf-map	Claude	More...				2 months ago
ebnf/map: the rule mapping, a rewrite of the typed AST	Claude	More...				2 months ago
Merge remote-tracking branch 'origin/main' into ebnf-data	Claude	More...				2 months ago
ebnf: DataJS grammar, the AST type, and the data-layer design (#1883)	Sergey Shandar	More...				2 months ago
ebnf/data: the rule set is a record, checked before its entries are	Sergey Shandar	More...				2 months ago
Merge remote-tracking branch 'origin/ebnf2' into ebnf-data	Claude	More...				2 months ago
docs: the bounded-repeat AST is a union of lengths, as BoundedArray is	Claude	More...				2 months ago
ebnf/data: refuse a data-variant branch that is explicitly `undefined`	Sergey Shandar	More...				2 months ago
Merge remote-tracking branch 'origin/ebnf2' into ebnf-data	Sergey Shandar	More...				2 months ago
docs: no relative links from fjs/ebnf into fjs/bnf; record the required Variant	Claude	More...				2 months ago
Merge remote-tracking branch 'origin/ebnf2' into ebnf-data	Claude	More...				2 months ago
ebnf/data: `isRecord` returns a boolean, not a type predicate	Sergey Shandar	More...				2 months ago
ebnf: prove repeatFrom, repeatFrom1 and join directly	Claude	More...				2 months ago
ebnf/data: a variant's branches are a plain record, on both sides	Sergey Shandar	More...				2 months ago
Merge remote-tracking branch 'origin/ebnf2' into ebnf-data	Claude	More...				2 months ago
fjs/AGENTS.md: record the AbstractRequiredMap exception	Claude	More...				2 months ago
ebnf/lib/datajs: pin the alternatives literal in the proof	Claude	More...				2 months ago

←
1
2
…
364
365
366
367
368
369
370
371
372
…
539
540
→