Pinned

1. cli-command cli-command Public template

   cli-command template

   Racket 12 2

2. rosette-template rosette-template Public template

   A #lang rosette template for program verification and synthesis

   Racket 5

3. lang lang Public template

   Forked from samth/xlang

   *lang* is a language of combinators and numeric constants - reproduced with permission from xlang by @samth

   Racket 4

4. gui-app gui-app Public template

   gui-app is a modernised version of the GUI app described in ‘Programming Languages as Operating Systems’ (1999) by M. Flatt, R. Findler, S. Krishnamurthi and M. Felleisen

   Racket 3