Search Package Index

4 packages found

	Package	Description	Build
-1528473038	list-util ray.racine@gmail.com	Additional List utilities in Typed Racket. Docs: list-util Tags: list typed	succeeds	0
-1528559408	string-util ray.racine@gmail.com	Additional string utilities in Typed Racket. Docs: string-util Tags: string strings typed utils	succeeds	0
-1537640475	tjson ray.racine@gmail.com	Basic Typed Racket Json Parser and Emitter Docs: tjson Tags: emitter json parser searialization typed	succeeds; has dependency problems; has failing tests	4
-1533585629	typed-rosette stchang@racket-lang.org	A typed variant of the Rosette language. This package needs documentation Tags: rosette symbolic-execution typed	fails	5

list-util