Popular repositories Loading

1. scrybe scrybe Public

   Type-and-example directed program synthesis using example propagation, as described in Program Synthesis Using Example Propagation.

   HTML 14

2. OMG OMG Public

   Onderzoeksmethoden voor Gametech

   C# 1 1

3. smyth smyth Public

   Forked from UChicago-PL/smyth

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

   OCaml

4. NiekM.github.io NiekM.github.io Public

   Elm

5. parametrickery.haskell parametrickery.haskell Public

   A framework for reasoning about the (un)realizability of polymorphic programs based on input-output examples.

   Haskell

6. taxi-driver taxi-driver Public

   Hole Refinemenst for Polymorphic Type-and-Example Driven Synthesis

   Haskell