Search Package Index

bv

• pmatosλ79f1ed9

Bitvectors for Racket a-la Rosette

This package needs license metadata

ocelot

• bornholtλc65d085

A solver-aided relational logic DSL

This package needs license metadata

rosette-extras

• samλaf7ec90

A few extra utilities for Rosette

This package needs documentation

This package needs license metadata

typed-rosette

• stchangλ27ce51a

A typed variant of the Rosette language.

This package needs documentation

This package needs license metadata