Search Package Index

8 packages found

 PackageDescriptionBuild 

New

redex

PLT Redex libraries for practical semantics engineering

Docs:
0

New

redex-benchmark

PLT Redex Benchmark

This package needs documentation

3

New

redex-doc

documentation part of "redex"

Docs:
0

New

redex-examples

PLT Redex examples

This package needs documentation

3

New

redex-gui-lib

implementation (no documentation) part of "redex" gui

This package needs documentation

3

New

redex-lib

implementation (no documentation) part of "redex"

This package needs documentation

3

New

redex-pict-lib

implementation (no documentation) part of "redex" using picts

This package needs documentation

3

New

redex-test

tests for "redex"

This package needs documentation

3