Pinned Loading

1. emina/rosette emina/rosette Public

   The Rosette solver-aided host language, sample solver-aided DSLs, and demos

   Racket 649 75

2. racket/racket racket/racket Public

   The Racket repository

   Racket 4.8k 664

3. pretty-expressive pretty-expressive Public

   An implementation of "A Pretty Expressive Printer" in Racket

   Racket 28 1

4. fmt fmt Public

   A code formatter for Racket

   Racket 76 7

5. pretty-expressive-ocaml pretty-expressive-ocaml Public

   An implementation of "A Pretty Expressive Printer" in OCaml

   OCaml 22

6. brownplt/pyret-lang brownplt/pyret-lang Public

   The Pyret language.

   JavaScript 1.1k 111