Achievements

Achievements

Pinned Loading

1. emina/rosette emina/rosette Public

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

   Racket 697 86

2. racket/racket racket/racket Public

   The Racket repository

   Racket 5.2k 696

3. pretty-expressive pretty-expressive Public

   An implementation of "A Pretty Expressive Printer" in Racket

   Racket 27 1

4. fmt fmt Public

   A code formatter for Racket

   Racket 84 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