Search Package Index

8 packages found

 PackageDescriptionFamilyBuild 

redex

PLT Redex libraries for practical semantics engineering

Docs:
License:
Racket0

redex-doc

documentation part of "redex"

Docs:
License:
Racket0

redex-lib

implementation (no documentation) part of "redex"

Docs:
License:
Racket0

redex-test

tests for "redex"

Docs:
License:
Racket0

redex-benchmark

PLT Redex Benchmark

This package needs documentation

License:
Racket4

redex-examples

PLT Redex examples

This package needs documentation

License:
Racket4

redex-gui-lib

implementation (no documentation) part of "redex" gui

Docs:
License:
Racket0

redex-pict-lib

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

Docs:
License:
Racket0