{"id":19645251,"url":"https://github.com/racket/redex","last_synced_at":"2026-01-25T08:31:16.184Z","repository":{"id":24027682,"uuid":"27412456","full_name":"racket/redex","owner":"racket","description":null,"archived":false,"fork":false,"pushed_at":"2025-11-23T15:39:51.000Z","size":9842,"stargazers_count":98,"open_issues_count":51,"forks_count":38,"subscribers_count":24,"default_branch":"master","last_synced_at":"2025-11-23T17:26:43.621Z","etag":null,"topics":["racket"],"latest_commit_sha":null,"homepage":null,"language":"Racket","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/racket.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null},"funding":{"github":"racket"}},"created_at":"2014-12-02T03:06:03.000Z","updated_at":"2025-11-23T15:39:55.000Z","dependencies_parsed_at":"2024-11-11T14:36:14.107Z","dependency_job_id":"e48cd12b-88ff-40db-8f61-20fa62e89cd3","html_url":"https://github.com/racket/redex","commit_stats":null,"previous_names":[],"tags_count":42,"template":false,"template_full_name":null,"purl":"pkg:github/racket/redex","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/racket%2Fredex","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/racket%2Fredex/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/racket%2Fredex/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/racket%2Fredex/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/racket","download_url":"https://codeload.github.com/racket/redex/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/racket%2Fredex/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":28749298,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-01-25T08:31:04.260Z","status":"ssl_error","status_checked_at":"2026-01-25T08:30:28.859Z","response_time":113,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.5:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["racket"],"created_at":"2024-11-11T14:33:02.480Z","updated_at":"2026-01-25T08:31:16.180Z","avatar_url":"https://github.com/racket.png","language":"Racket","funding_links":["https://github.com/sponsors/racket"],"categories":[],"sub_categories":[],"readme":"# redex\n\n[PLT Redex](https://docs.racket-lang.org/redex/) is a domain-specific language designed for specifying and debugging operational semantics. \n\nWrite 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.\n\nPLT 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\n\nThis the source for the Racket packages: \"redex\", \"redex-benchmark\", \"redex-doc\", \"redex-examples\", \"redex-gui-lib\", \"redex-lib\", \"redex-pict-lib\", \"redex-test\".\n\n### Contributing\n\nContribute to Racket by submitting a [pull request], reporting an\n[issue], joining the [development mailing list], or visiting the\nIRC or Slack channels.\n\n### License\n\nRacket, including these packages, is free software, see [LICENSE]\nfor more details.\n\nBy making a contribution, you are agreeing that your contribution\nis licensed under the [Apache 2.0] license and the [MIT] license.\n\n[MIT]: https://github.com/racket/racket/blob/master/racket/src/LICENSE-MIT.txt\n[Apache 2.0]: https://www.apache.org/licenses/LICENSE-2.0.txt\n[pull request]: https://github.com/racket/redex/pulls\n[issue]: https://github.com/racket/redex/issues\n[development mailing list]: https://lists.racket-lang.org\n[LICENSE]: LICENSE\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fracket%2Fredex","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fracket%2Fredex","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fracket%2Fredex/lists"}