Pinned Loading

1. honeybee honeybee Public

   Programming by Navigation with Honeybee!

   Rust 10

2. cobbler cobbler Public

   Refactor programs to use library functions

   OCaml 8

3. UChicago-PL/smyth UChicago-PL/smyth Public

   Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.

   OCaml 55 5

4. ravichugh/sketch-n-sketch ravichugh/sketch-n-sketch Public

   Direct Manipulation Programming for HTML/SVG

   Elm 561 32

5. wyvernlang/wyvern wyvernlang/wyvern Public

   The Wyvern programming language.

   Java 560 65