Programming Systems Group @ University of Kansas

Popular repositories Loading

1. rbsyn rbsyn Public

   Program synthesis for Ruby

   Ruby 96 7

2. absynthe absynthe Public

   synthesis guided by abstract interpretation

   Ruby 3 2

3. eecs700-synthesis eecs700-synthesis Public

   EECS 700: Intro to Program Synthesis

   SCSS 1

4. eecs700-demos eecs700-demos Public

   Code demos for EECS 700: Intro to Program Synthesis

   Python 1

5. eecs662 eecs662 Public

   EECS 662: Programming Languages

   Racket 3

6. ku-progsys.github.io ku-progsys.github.io Public

   KU Programming Systems website

   HTML 1