https://github.com/racket/redex
https://github.com/racket/redex
racket
Last synced: about 1 month ago
JSON representation
- Host: GitHub
- URL: https://github.com/racket/redex
- Owner: racket
- License: other
- Created: 2014-12-02T03:06:03.000Z (over 11 years ago)
- Default Branch: master
- Last Pushed: 2025-11-23T15:39:51.000Z (4 months ago)
- Last Synced: 2025-11-23T17:26:43.621Z (4 months ago)
- Topics: racket
- Language: Racket
- Size: 9.39 MB
- Stars: 98
- Watchers: 24
- Forks: 38
- Open Issues: 51
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# redex
[PLT Redex](https://docs.racket-lang.org/redex/) is a domain-specific language designed for specifying and debugging operational semantics.
Write down a grammar and the reduction rules, and PLT Redex allows you to interactively explore terms and to use randomized test generation to attempt to falsify properties of your semantics.
PLT Redex is embedded in Racket, meaning all of the convenience of a modern programming language is available, including standard libraries (and non-standard ones) and a program-development environment
This the source for the Racket packages: "redex", "redex-benchmark", "redex-doc", "redex-examples", "redex-gui-lib", "redex-lib", "redex-pict-lib", "redex-test".
### Contributing
Contribute to Racket by submitting a [pull request], reporting an
[issue], joining the [development mailing list], or visiting the
IRC or Slack channels.
### License
Racket, including these packages, is free software, see [LICENSE]
for more details.
By making a contribution, you are agreeing that your contribution
is licensed under the [Apache 2.0] license and the [MIT] license.
[MIT]: https://github.com/racket/racket/blob/master/racket/src/LICENSE-MIT.txt
[Apache 2.0]: https://www.apache.org/licenses/LICENSE-2.0.txt
[pull request]: https://github.com/racket/redex/pulls
[issue]: https://github.com/racket/redex/issues
[development mailing list]: https://lists.racket-lang.org
[LICENSE]: LICENSE