Search Package Index

10 packages found

 PackageDescriptionBuild 

bnf

Concise Typed Racket syntax for declaring recursive data in BNF

This package needs documentation

This package needs license metadata

succeeds4

impl-excl

Pre-compute procedures for fast checking of transitive implication and exclusion between simple predicates

This package needs documentation

Tags:

This package needs license metadata

succeeds4

intern

Type-safe interning of datatype in Typed Racket as a new sub-type of Index

This package needs documentation

This package needs license metadata

succeeds4

json-type-provider

A well-typed JSON parser for Typed Racket inspired by Type Provider

This package needs documentation

This package needs license metadata

succeeds4

set-extras

Some conveniences for set, including fancy unicode aliases and more comprehension forms

This package needs documentation

This package needs license metadata

succeeds4

termination

Dynamic enforcement of size-change termination

This package needs documentation

This package needs license metadata

succeeds; has failing tests5

traces

Tracing utilities for functions and hash-tables, similar to `traces` from `redex`

This package needs documentation

This package needs license metadata

succeeds; has dependency problems; has failing tests5

typed-racket-hacks

Various workarounds for Typed Racket, most of which are expected to be eventually obsolete

This package needs documentation

This package needs license metadata

succeeds; has dependency problems4

unreachable

Utilities for expressing supposedly unreachable code

This package needs documentation

This package needs license metadata

succeeds; has dependency problems4

z3

Z3 bindings for Racket

This package needs documentation

This package needs license metadata

succeeds; has failing tests5