Anaphoric versions of `if`, `when` and `cond`. They bind the value of the condition expression to `it`.
Handy utilities(macros/functions) for racket
A personal collection of useful definitions. Quite unstable.
|succeeds; has failing tests|
Static analysis utilities
The (typed) core to construct the digital world
A solution to the expression problem in Typed Racket
a convenience library for continuation marks like parameters
PLT Redex lang-extension for checked metafunction application
A Typed Racket implementation of a general-purpose worklist, with multiple worklists of different types.
Utilities for working with and deriving Huet-style zippers