Search Package Index

13 packages found

 PackageDescriptionBuild

anaphoric

Anaphoric versions of `if`, `when` and `cond`. They bind the value of the condition expression to `it`.

Tags:
succeeds

axe

Handy utilities(macros/functions) for racket

Docs: README
Tags:
succeeds

bazaar

A personal collection of useful definitions. Quite unstable.

Docs: README
succeeds; has failing tests

cs7480-util

Static analysis utilities

succeeds

digimon

The (typed) core to construct the digital world

succeeds

extensible-functions

A solution to the expression problem in Typed Racket

succeeds

lathe

A personal collection of utilities.

Docs: README
fails

lathe-lib

A personal collection of utilities. (lib)

Docs: README
fails

markparam

a convenience library for continuation marks like parameters

Docs: README
succeeds

mf-apply

PLT Redex lang-extension for checked metafunction application

succeeds

tomato-timer

Command-line timer

Tags:
succeeds

typed-worklist

A Typed Racket implementation of a general-purpose worklist, with multiple worklists of different types.

succeeds

zippers

Utilities for working with and deriving Huet-style zippers

Tags:
succeeds