Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
michaelballantyne authored Oct 2, 2024
1 parent c236278 commit c253073
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

A metalanguage for creating sophisticated DSLs in Racket. You provide a grammar and binding rules, and the metalanguage provides a front-end that checks binding, expands macros to your DSL core langauge, and provides tools for working with binding in your DSL's compiler.

`syntax-spec` is used in the [Qi](https://github.com/drym-org/qi) and [hosted-minikanren](https://github.com/michaelballantyne/hosted-minikanren) projects.
`syntax-spec` is used in the [Qi](https://github.com/drym-org/qi), [hosted-minikanren](https://github.com/michaelballantyne/hosted-minikanren), and [ocular-patdown](https://docs.racket-lang.org/ocular-patdown/Pattern-based_Updating.html) projects.
This repository also includes a number of example DSL implementations: [peg](tests/dsls/peg), [cmdline](tests/dsls/cmdline), [miniKanren](tests/dsls/minikanren-rs2e), [miniclass](tests/dsls/miniclass), and [TinyHDL](tests/dsls/tiny-hdl). There is also a small [state machine DSL](demos/visser-symposium).

If you'd like to learn more about syntax-spec, you can check out our [ICFP 2024 paper](https://mballantyne.net/publications/icfp2024.pdf) and associated [15-minute talk](https://youtu.be/F70QZaMoYJQ?t=10756), or my longer [demo](demos/mk-workshop-2024) at the 2024 miniKanren workshop.
Expand Down

0 comments on commit c253073

Please sign in to comment.