syntax-spec-v2

A metalanguage for creating sophisticated DSLs

Build status: ok passing tests valid license

Authors

michael.ballantyneλ170ea6e

Documentation

syntax-spec-v2

Tags

License

(Apache-2.0 OR MIT)

Last updated

Tuesday, October 8th, 2024 9:53:29pm (UTC)

Ring

Conflicts

None

Dependencies

Most recent build results

Compiled successfully: transcript
Tests succeeded: transcript

Version Exceptions

Version	Source	Checksum
default	https://github.com/michaelballantyne/syntax-spec.git#v2	585bc855a785dade02767b328d8cb136e97329e8

Last checked

Wednesday, November 26th, 2025 3:00:48am (UTC)

Last edited

Wednesday, September 11th, 2024 7:44:14pm (UTC)

Date added

Wednesday, September 11th, 2024 7:44:14pm (UTC)

Modules

syntax-spec-v2/tests/dsls/minikanren-binding-space-compile.rkt
syntax-spec-v2/tests/dsls/minikanren-compile-defs.rkt
syntax-spec-v2/tests/dsls/multipass.rkt
syntax-spec-v2/tests/dsls/typed-peg/private/runtime.rkt
syntax-spec-v2/tests/dsls/peg/test/leftrec-oopsla.rkt
syntax-spec-v2/private/syntax/env-reps.rkt
syntax-spec-v2/private/ee-lib/flip-intro-scope.rkt
syntax-spec-v2/private/syntax/compile/binding-spec.rkt
syntax-spec-v2/private/ee-lib/syntax-serializer.rkt
syntax-spec-v2/private/syntax/compile/nonterminal-expander.rkt
syntax-spec-v2/tests/dsls/peg/private/compile-alt-str.rkt
syntax-spec-v2/tests/dsls/peg/test/leftrec.rkt
syntax-spec-v2/tests/dsls/minikanren-rs2e/mk.rkt
syntax-spec-v2/tests/dsls/minikanren-compile.rkt
syntax-spec-v2/demos/minimal-state-machine/gui-layout.rkt
syntax-spec-v2/demos/zed-talk/micro-mk3.rkt
syntax-spec-v2/tests/dsls/simply-typed-lambda-calculus.rkt
syntax-spec-v2/tests/dsls/peg/private/forms.rkt
syntax-spec-v2/design/statecharts-full.rkt
syntax-spec-v2/tests/dsls/miniclass/class.rkt
syntax-spec-v2/tests/dsls/cmdline/tests.rkt
syntax-spec-v2/tests/symbol-collections.rkt
syntax-spec-v2/demos/mk-workshop-2024/14-foreign.rkt
syntax-spec-v2/tests/dsls/stlc-on-typed-racket.rkt
syntax-spec-v2/demos/mk-workshop-2024/15-foreign-extension.rkt
syntax-spec-v2/tests/dsls/peg/test/binops.rkt
syntax-spec-v2/demos/strumienta-talk/building-up-to-qi.rkt
syntax-spec-v2/demos/mk-workshop-2024/compile.rkt
syntax-spec-v2/private/runtime/errors.rkt
syntax-spec-v2/demos/wg211/mk.rkt
syntax-spec-v2/tests/dsls/minikanren-rs2e/example.rkt
syntax-spec-v2/tests/basic-langs/mutual-recursion.rkt
syntax-spec-v2/tests/basic-langs/racket-macro.rkt
syntax-spec-v2/demos/mk-workshop-2024/07-example-with-sugar.rkt
syntax-spec-v2/demos/wg211/4-example-with-sugar.rkt
syntax-spec-v2/tests/basic-langs/racket-var.rkt
syntax-spec-v2/private/ee-lib/persistent-id-table.rkt
syntax-spec-v2/tests/dsls/match.rkt
syntax-spec-v2/tests/dsls/peg/test/lift-error.rkt
syntax-spec-v2/tests/dsls/tiny-hdl/half-adder.rkt
syntax-spec-v2/demos/wg211/mk-with-check.rkt
syntax-spec-v2/demos/visser-symposium/csv-browser.rkt
syntax-spec-v2/tests/basic-langs/block.rkt
syntax-spec-v2/tests/dsls/minikanren.rkt
syntax-spec-v2/testing.rkt
syntax-spec-v2/demos/zed-talk/micro-mk-rt.rkt
syntax-spec-v2/scribblings/tutorial/main.scrbl
syntax-spec-v2/demos/visser-symposium/state-machine-compiler.rkt
syntax-spec-v2/private/test/simple-bspec.rkt
syntax-spec-v2/demos/minimal-state-machine/state-machine-compiler.rkt
syntax-spec-v2/scribblings/tutorial/stlc-tutorial.scrbl
syntax-spec-v2/private/ee-lib/test/same-binding.rkt
syntax-spec-v2/private/test/set-bang.rkt
syntax-spec-v2/private/runtime/syntax-classes.rkt
syntax-spec-v2/demos/mk-workshop-2024/13-routes.rkt
syntax-spec-v2/private/ee-lib/lift-trampoline.rkt
syntax-spec-v2/private/ee-lib/syntax-category.rkt
syntax-spec-v2/design/statechart-examples/statechart-timer.rkt
syntax-spec-v2/tests/dsls/cmdline/sugar.rkt
syntax-spec-v2/demos/zed-talk/tradeoffs.rkt
syntax-spec-v2/demos/wg211/complete.rkt
syntax-spec-v2/demos/mk-workshop-2024/02-example-core.rkt
syntax-spec-v2/demos/zed-talk/micro-mk2.rkt
syntax-spec-v2/design/statechart-examples/statechart-trafficlight.rkt
syntax-spec-v2/demos/mk-workshop-2024/16-occurs-check.rkt
syntax-spec-v2/tests/dsls/peg/test/define-peg-ast.rkt
syntax-spec-v2/tests/basic-langs/define.rkt
syntax-spec-v2/demos/mk-workshop-2024/04-mk-with-binding.rkt
syntax-spec-v2/tests/dsls/peg/test/optional.rkt
syntax-spec-v2/demos/wg211/runtime.rkt
syntax-spec-v2/demos/wg211/mk-with-sugar.rkt
syntax-spec-v2/scribblings/reference/main.scrbl
syntax-spec-v2/tests/datum-matching.rkt
syntax-spec-v2/demos/wg211/1-example.rkt
syntax-spec-v2/tests/dsls/peg/test/core-basic-tokens.rkt
syntax-spec-v2/tests/reference-compiler-with-application.rkt
syntax-spec-v2/demos/wg211/compile.rkt
syntax-spec-v2/scribblings/reference/specifying.scrbl
syntax-spec-v2/tests/basic-langs/simple-match.rkt
syntax-spec-v2/demos/wg211/mk-with-binding.rkt
syntax-spec-v2/demos/wg211/2-example-core.rkt
syntax-spec-v2/tests/dsls/stlc-lang/program.rkt
syntax-spec-v2/tests/dsls/peg/main.rkt
syntax-spec-v2/demos/wg211/compile-with-check.rkt
syntax-spec-v2/design/statechart-examples/statechart-temp.rkt
syntax-spec-v2/demos/zed-talk/micro-mk2b.rkt
syntax-spec-v2/demos/mk-workshop-2024/compile-with-check.rkt
syntax-spec-v2/tests/dsls/peg/test/colon-bind-shorthand.rkt
syntax-spec-v2/demos/symbol-tables.rkt
syntax-spec-v2/tests/dsls/typed-peg/private/forms.rkt
syntax-spec-v2/tests/rewrite-hygiene.rkt
syntax-spec-v2/tests/dsls/tiny-hdl/hdl.rkt
syntax-spec-v2/tests/nest-use-site-scope.rkt
syntax-spec-v2/demos/mk-workshop-2024/flights-data.rkt
syntax-spec-v2/tests/dsls/peg/test/srcloc.rkt
syntax-spec-v2/design/statechart-examples/statechart-reddit.rkt
syntax-spec-v2/design/statechart-examples/statechart-counter.rkt
syntax-spec-v2/tests/dsls/peg/test/define-in-let.rkt
syntax-spec-v2/demos/mk-workshop-2024/05-example-with-binding.rkt
syntax-spec-v2/tests/dsls/peg/test/raise-2.rkt
syntax-spec-v2/tests/dsls/typed-peg/private/compile.rkt
syntax-spec-v2/demos/wg211/mk-core.rkt
syntax-spec-v2/demos/minimal-state-machine/csv-browser.rkt
syntax-spec-v2/demos/strumienta-talk/csv-demo/state-machine-compiler.rkt
syntax-spec-v2/scribblings/main.scrbl
syntax-spec-v2/tests/dsls/cmdline/cmdline.rkt
syntax-spec-v2/tests/nonterminal-prop.rkt
syntax-spec-v2/private/runtime/binding-operations.rkt
syntax-spec-v2/tests/dsls/peg/private/compile.rkt
syntax-spec-v2/scribblings/reference/compiling.scrbl
syntax-spec-v2/demos/strumienta-talk/csv-demo/state-machine.rkt
syntax-spec-v2/private/ee-lib/define.rkt
syntax-spec-v2/tests/definition-interface.rkt
syntax-spec-v2/tests/dsls/peg/core.rkt
syntax-spec-v2/tests/dsls/js/js.rkt
syntax-spec-v2/tests/dsls/state-machine-oo/state-machine.rkt
syntax-spec-v2/tests/dsls/peg.rkt
syntax-spec-v2/tests/dsls/tiny-hdl/full-adder.rkt
syntax-spec-v2/demos/mk-workshop-2024/11-example-with-check.rkt
syntax-spec-v2/demos/mk-workshop-2024/intro.rkt
syntax-spec-v2/demos/zed-talk/micro-mk1.rkt
syntax-spec-v2/demos/mk-workshop-2024/08-mk-compiled.rkt
syntax-spec-v2/tests/nested-with-reference-compilers.rkt
syntax-spec-v2/demos/mk-workshop-2024/runtime.rkt
syntax-spec-v2/design/statechart-examples/statechart-watch.rkt
syntax-spec-v2/demos/visser-symposium/state-machine.rkt
syntax-spec-v2/demos/zed-talk/micro-mk5.rkt
syntax-spec-v2/tests/dsls/peg/private/test/case.rkt
syntax-spec-v2/tests/dsls/baby-peg.rkt
syntax-spec-v2/tests/dsls/statecharts/statecharts.rkt
syntax-spec-v2/private/ee-lib/datum-map.rkt
syntax-spec-v2/tests/dsls/cmdline/example.rkt
syntax-spec-v2/tests/dsls/qi-core.rkt
syntax-spec-v2/demos/zed-talk/micro-mk4.rkt
syntax-spec-v2/tests/dsls/peg/test/sexpr.rkt
syntax-spec-v2/tests/props.rkt
syntax-spec-v2/demos/mk-workshop-2024/12-example-matche.rkt
syntax-spec-v2/tests/variants.rkt
syntax-spec-v2/demos/wg211/6-example-with-check.rkt
syntax-spec-v2/demos/zed-talk/workbench.rkt
syntax-spec-v2/private/ee-lib/syntax-datum.rkt
syntax-spec-v2/tests/dsls/peg/test/core-text.rkt
syntax-spec-v2/private/ee-lib/lift-disappeareds.rkt
syntax-spec-v2/tests/dsls/peg/test/many-until.rkt
syntax-spec-v2/tests/basic-langs/bind-syntax.rkt
syntax-spec-v2/design/statechart-examples/statechart-flight-booker.rkt
syntax-spec-v2/demos/strumienta-talk/csv-demo/gui-layout.rkt
syntax-spec-v2/demos/mk-workshop-2024/01-example.rkt
syntax-spec-v2/tests/dsls/miniclass/test.rkt
syntax-spec-v2/demos/visser-symposium/gui-layout.rkt
syntax-spec-v2/demos/strumienta-talk/csv-demo/main.rkt
syntax-spec-v2/design/staged-minikanren.rkt
syntax-spec-v2/tests/dsls/minikanren-binding-space.rkt
syntax-spec-v2/private/runtime/compile.rkt
syntax-spec-v2/private/ee-lib/binding.rkt
syntax-spec-v2/scribblings/tutorial/multipass-tutorial.scrbl
syntax-spec-v2/demos/zed-talk/macros.rkt
syntax-spec-v2/main.rkt
syntax-spec-v2/tests/dsls/peg/private/leftrec-check.rkt
syntax-spec-v2/tests/dsls/peg/test/test-alt-str.rkt
syntax-spec-v2/tests/basic-langs/expr.rkt
syntax-spec-v2/tests/basic-langs/define-star.rkt
syntax-spec-v2/demos/wg211/5-example-compiled.rkt
syntax-spec-v2/private/syntax/compile/syntax-spec.rkt
syntax-spec-v2/tests/dsls/peg2.rkt
syntax-spec-v2/tests/colon-form.rkt
syntax-spec-v2/tests/racket-references.rkt
syntax-spec-v2/design/statecharts-smaller.rkt
syntax-spec-v2/demos/mk-workshop-2024/03-mk-core.rkt
syntax-spec-v2/tests/dsls/minikanren-compile-defs-min.rkt
syntax-spec-v2/tests/dsls/peg/private/runtime.rkt
syntax-spec-v2/tests/dsls/peg/test/figure-7.rkt
syntax-spec-v2/demos/mk-workshop-2024/06-mk-with-sugar.rkt
syntax-spec-v2/tests/dsls/peg/test/return-example.rkt
syntax-spec-v2/tests/dsls/typed-peg/core.rkt
syntax-spec-v2/private/syntax/interface.rkt
syntax-spec-v2/private/ee-lib/errors.rkt
syntax-spec-v2/demos/mk-workshop-2024/09-example-compiled.rkt
syntax-spec-v2/private/syntax/syntax-classes.rkt
syntax-spec-v2/tests/binding-operations.rkt
syntax-spec-v2/private/runtime/binding-spec.rkt
syntax-spec-v2/demos/mk-workshop-2024/10-mk-with-check.rkt
syntax-spec-v2/tests/dsls/peg/test/optimization.rkt
syntax-spec-v2/tests/errors.rkt
syntax-spec-v2/scribblings/tutorial/basic-tutorial.scrbl
syntax-spec-v2/tests/dsls/state-machine-oo/state-machine-compiler.rkt
syntax-spec-v2/demos/wg211/3-example-with-binding.rkt
syntax-spec-v2/private/test/sequence.rkt
syntax-spec-v2/private/ee-lib/main.rkt
syntax-spec-v2/demos/minimal-state-machine/state-machine.rkt
syntax-spec-v2/private/test/rebind-pattern-vars.rkt
syntax-spec-v2/tests/dsls/state-machine-for-tutorial.rkt
syntax-spec-v2/tests/dsls/peg/test/raise-1.rkt
syntax-spec-v2/design/statechart-examples/statecharts-login.rkt
syntax-spec-v2/private/syntax/compile/pattern-var-reflection.rkt
syntax-spec-v2/tests/dsls/stlc-lang/test.rkt
syntax-spec-v2/tests/dsls/stlc-lang/main.rkt