Giters
Racket Templates (racket-templates)

Racket Templates

racket-templates

Geek Repo

Unofficial collection of racket app templates. `raco pkg install from-template` to install the tool, `raco new <templatename> <folder>`

Twitter:@RacketTemplates

Github PK Tool:Github PK Tool

Racket Templates's repositories

cli-command

cli-command template

Language:RacketLicense:NOASSERTIONStargazers:12Issues:2Issues:2

rosette-template

A #lang rosette template for program verification and synthesis

Language:RacketLicense:NOASSERTIONStargazers:6Issues:3Issues:1

web-app

Racket Stories is a "submit and vote" web site. This repo serves as an example of a small "in production" web-site written in Racket.

Language:RacketLicense:MITStargazers:6Issues:2Issues:1

lang

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

Language:RacketLicense:NOASSERTIONStargazers:4Issues:1Issues:0

gui-app

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

Language:RacketLicense:NOASSERTIONStargazers:3Issues:2Issues:1

package

A template for creating a Racket package

Language:RacketLicense:Apache-2.0Stargazers:2Issues:1Issues:0

racket-templates

The Racket-templates archive for finding, uploading, and cloning templates.

Stargazers:2Issues:6Issues:4

new

Raco tool for cloning templates from the racket-templates org

Language:RacketLicense:MITStargazers:1Issues:0Issues:1

ppict-slideshow-template

Example slideshow using ppict

Language:SchemeLicense:NOASSERTIONStargazers:0Issues:1Issues:0

template

A template for creating a new template

Language:RacketLicense:MITStargazers:0Issues:1Issues:1

module-reader-lang

Language:RacketLicense:Apache-2.0Stargazers:0Issues:0Issues:0