bfetscher@racket-lang.org
Registry
pkgs.racket-lang.org
pkgs.racket-lang.org
Packages
8
8
redex-lib 💰
implementation (no documentation) part of "redex"Latest release: 11 days ago - 112 stars on GitHub - 2 maintainers
redex-examples 💰
PLT Redex examplesLatest release: 11 days ago - 112 stars on GitHub - 2 maintainers
redex-benchmark 💰
PLT Redex BenchmarkLatest release: 11 days ago - 112 stars on GitHub - 2 maintainers
redex 💰
PLT Redex libraries for practical semantics engineeringLatest release: 11 days ago - 112 stars on GitHub - 2 maintainers
redex-gui-lib 💰
implementation (no documentation) part of "redex" guiLatest release: 11 days ago - 112 stars on GitHub - 2 maintainers
redex-pict-lib 💰
implementation (no documentation) part of "redex" using pictsLatest release: 11 days ago - 112 stars on GitHub - 2 maintainers
redex-doc 💰
documentation part of "redex"Latest release: 11 days ago - 112 stars on GitHub - 2 maintainers
Details
| bfetscher@racket-lang.org |