Search Package Index

5 packages found

 PackageDescriptionBuild 

list-util

Additional List utilities in Typed Racket.

Docs:
Tags:
succeeds0

plaitypus

Typed variant of #lang plai. Forked from plai-typed, brought closer to #lang plai.

Docs:
succeeds0

string-util

Additional string utilities in Typed Racket.

succeeds0

tjson

Basic Typed Racket Json Parser and Emitter

Docs:
succeeds; has failing tests4

typed-rosette

A typed variant of the Rosette language.

This package needs documentation

fails5