Announcing a new racket package html-examples to convert an examples block to HTML for inclusion in your own page.

Announcing a new racket package bv for manipulating bitvectors with a rosette-style API.