Racket Templates's repositories
cli-command
cli-command template
rosette-template
A #lang rosette template for program verification and synthesis
racket-templates
The Racket-templates archive for finding, uploading, and cloning templates.
ppict-slideshow-template
Example slideshow using ppict
Language:RacketApache-2.0000