lexersketch

Profile-driven type checker over HIR: dynamic, gradual, static, HM.

Instruction encoders, decoders, and assemblers for x86-64 and AArch64.

Native runtime support for LexerSketch programs, compiled by our own backend.

TextMate grammar and semantic-token legend generation.

Compile HIR to LSB bytecode for bvm-lang.

Generate sample programs and fuzz corpora from a grammar.

Object-file and debug-info writers: ELF, COFF/PE, Mach-O, DWARF, CodeView.

Lower lossless syntax trees into HIR via semantic archetypes and hygienic templates.

Rule-driven source formatter over lossless syntax trees.

Program images (.lsi) and loader for hybrid native + bytecode programs.

Debug Adapter Protocol scaffolding for language debuggers.

Machine-code backend core: MIR, target descriptions, isel, SSA register allocation.

LexerSketch: the capstone language generator.

Name resolution over HIR with a persistent definition/reference index.

Host-function registry with typed signatures and a capability permission gate.

Pattern-match compilation with exhaustiveness and usefulness checking.

SSA optimization passes for ir-lang.

Lower HIR to ir-lang SSA for the native backend.

LexerSketch high-level IR: the core every forged language lowers into.

LSB: the LexerSketch bytecode format, verifier, and disassembler.