PURE RUBY · LR TOOLCHAIN

Build parsers.
See the machine.

Ibex turns racc-compatible and extended EBNF grammars into deterministic Ruby parsers, inspectable automata, structured diagnostics, and typed interfaces.

Open the playground Read the API reference

Four LR strategies

Compare direct LALR(1), IELR(1), canonical LR(1), and SLR from one grammar.

Explain conflicts

Trace conflicts back to states, tokens, resolutions, and bounded counterexamples.

Stable IR

Validate, compare, migrate, visualize, and reuse versioned grammar and automaton data.

DOCUMENTATION BY MATURITY

Choose the contract you need.

Compatibility guarantees, opt-in language features, and research surfaces are documented separately so their support level is explicit.

Compatibility

Depend on the stable core

Generate and run racc-compatible parsers with a permanent behavior boundary.

Read the compatibility volume → Extended

Opt into richer grammars

Use typed values, lexer integration, EBNF, trees, diagnostics, and tooling.

Read the extensions volume → Experimental

Evaluate research surfaces

Understand bounded repair and research algorithms before adopting them.

Read the experimental volume →

NO SERVER ROUND-TRIP

Your grammar stays in your browser.

The playground runs Ibex under ruby.wasm in a dedicated worker. It parses action bodies as source data and never executes them.

Build parsers.See the machine.