Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pkgs.racket-lang.org "redex" keyword
Top 1.2% on pkgs.racket-lang.org
Latest release: about 7 hours ago - 97 stars on GitHub - 1 maintainer
redex-aam-tutorial
A brief introduction to the Redex and Abstracting Abstract Machines.Latest release: about 7 hours ago - 97 stars on GitHub - 1 maintainer
redex-parameter
Parameters for extensions in Redex.Latest release: 15 days ago - 4 stars on GitHub - 1 maintainer
typeset-rewriter
Simple, low-level rewriter tools for typesetting PLT Redex modelsLatest release: 15 days ago - 3 stars on GitHub - 1 maintainer
redex-chk
rackunit/chk style checks for redex ('term' quotes automatically)Latest release: 17 days ago - 1 stars on GitHub - 1 maintainer
mf-apply
PLT Redex lang-extension for checked metafunction applicationLatest release: 17 days ago - 0 stars on GitHub - 1 maintainer
esterel-redex removed
Redex code related to Esterel in RacketLatest release: about 2 months ago - 2 stars on GitHub - 1 maintainer
esterel-racket removed
Redex code related to Esterel in RacketLatest release: about 1 year ago - 0 stars on GitHub - 1 maintainer
Related Keywords