Racket Templates (@racket-templates)
Guthub

racket-templates

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    33
  • Global Org. Rank 95,791 (Top 31 %)
  • Registered about 4 years ago
  • Most used languages
    Racket
         100.0 %

Top repositories

1

cli-command

cli-command template
Racket
15
star
2

rosette-template

A #lang rosette template for program verification and synthesis
Racket
5
star
3

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
Racket
3
star
4

racket-templates

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