PinnedLoading

1. graphitegraphitePublic

   A data visualization library for Racket.

   Racket 36 3

2. sawzallsawzallPublic

   A grammar of data manipulation for Racket.

   Racket 20 2

3. bingusbingusPublic

   A program synthesizer for code in the How to Design Programs curriculum

   Racket 13

4. loessloessPublic

   Local polynomial regressions for Racket.

   Racket 4

5. six-eyessix-eyesPublic

   Forked fromTOTBWF/coolttviz

   A work-in-progress structure editor for the cooltt proof assistant.

   Rust 18

6. RedPRL/coolttRedPRL/coolttPublic

   😎TT

   OCaml 225 14