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 maintainers: [email protected]

redex-examples
PLT Redex examples
Latest release: 20 days ago - 85 stars on GitHub - 2 maintainers
redex
PLT Redex libraries for practical semantics engineering
Latest release: 20 days ago - 85 stars on GitHub - 2 maintainers
redex-gui-lib
implementation (no documentation) part of "redex" gui
Latest release: 20 days ago - 85 stars on GitHub - 2 maintainers
redex-pict-lib
implementation (no documentation) part of "redex" using picts
Latest release: 20 days ago - 85 stars on GitHub - 2 maintainers
redex-test
tests for "redex"
Latest release: 20 days ago - 85 stars on GitHub - 2 maintainers
redex-lib
implementation (no documentation) part of "redex"
Latest release: 20 days ago - 85 stars on GitHub - 2 maintainers
redex-benchmark
PLT Redex Benchmark
Latest release: 20 days ago - 85 stars on GitHub - 2 maintainers
redex-doc
documentation part of "redex"
Latest release: 20 days ago - 85 stars on GitHub - 2 maintainers