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 15

2. taxi-driver taxi-driver Public

   Hole Refinemenst for Polymorphic Type-and-Example Driven Synthesis

   Haskell 5

3. OMG OMG Public

   Onderzoeksmethoden voor Gametech

   C# 1 1

4. predicate-transformer-semantics predicate-transformer-semantics Public

   TeX

5. smyth smyth Public

   Forked from UChicago-PL/smyth

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

   OCaml

6. NiekM.github.io NiekM.github.io Public

   Elm