Data

Tools

Indexes

Applications

Experiments

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]

View the packages maintained by [email protected] on the pkgs.racket-lang.org package registry, including their contributions and dependencies.

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