Search Package Index

4 packages found

 PackageDescriptionBuild 

bv

Bitvectors for Racket a-la Rosette

Docs:
succeeds0

ocelot

A solver-aided relational logic DSL

Docs:
fails5

rosette-extras

A few extra utilities for Rosette

This package needs documentation

Tags:
fails5

typed-rosette

A typed variant of the Rosette language.

This package needs documentation

fails5