Pinned Loading

1. emina/rosette emina/rosette Public

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

   Racket 694 85

2. racket/racket racket/racket Public

   The Racket repository

   Racket 5.2k 689

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 85 8

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

   An implementation of "A Pretty Expressive Printer" in OCaml

   OCaml 26

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

   The Pyret language.

   JavaScript 1.1k 123