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
redex-chk
rackunit/chk style checks for redex ('term' quotes automatically)Latest release: about 23 hours ago - 1 stars on GitHub - 1 maintainer
esterel-redex
Redex code related to Esterel in RacketLatest release: 6 days ago - 2 stars on GitHub - 1 maintainer
Top 1.2% on pkgs.racket-lang.org
Latest release: 9 days ago - 97 stars on GitHub - 1 maintainer
redex-aam-tutorial
A brief introduction to the Redex and Abstracting Abstract Machines.Latest release: 9 days ago - 97 stars on GitHub - 1 maintainer
mf-apply
PLT Redex lang-extension for checked metafunction applicationLatest release: 10 days ago - 0 stars on GitHub - 1 maintainer
redex-parameter
Parameters for extensions in Redex.Latest release: 29 days ago - 4 stars on GitHub - 1 maintainer
typeset-rewriter
Simple, low-level rewriter tools for typesetting PLT Redex modelsLatest release: 29 days ago - 3 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