Search Package Index

4 packages found

 PackageDescriptionFamilyBuild 

bv

Bitvectors for Racket a-la Rosette

Docs:

This package needs license metadata

Racketsucceeds2

ocelot

A solver-aided relational logic DSL

Docs:

This package needs license metadata

Racketfails6

rosette-extras

A few extra utilities for Rosette

This package needs documentation

Tags:

This package needs license metadata

Racketfails6

typed-rosette

A typed variant of the Rosette language.

This package needs documentation

This package needs license metadata

Racketfails6