syntax-spec-v3

Build status: ok passing tests valid license

Authors

michael.ballantyneλ170ea6e

Documentation

syntax-spec-v3

Tags

License

(Apache-2.0 OR MIT)

Last updated

Wednesday, May 28th, 2025 12:03:21am (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#v3	4ae36610804b58e8f023574bfdcba1b5ae4f7bcd

Last checked

Monday, October 20th, 2025 8:45:12pm (UTC)

Last edited

Wednesday, May 28th, 2025 12:03:21am (UTC)

Date added

Sunday, February 16th, 2025 11:49:06pm (UTC)

Modules

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