Popular repositories Loading

1. AutomatedProgramRepair-Fall2016 AutomatedProgramRepair-Fall2016 Public

   3 2

2. kstolee.github.io kstolee.github.io Public

   Katie Stolee's Webpage

   HTML 1

3. end_user_refactoring end_user_refactoring Public

   Forked from spreadsheetlab/end_user_refactoring

   Repo for prospective IEEE software paper

   TeX

4. smt_encoded_regex smt_encoded_regex Public

   Forked from softwarekitty/smt_encoded_regex

   These are notes and small regexes written in SMT from when I was experimenting with transforming regex to SMT, which I later found has been done better by Microsoft in their automata-z3 project, wh…

   SMT

5. presentation presentation Public

   Forked from softwarekitty/presentation

   thesis presentation

   Java

6. tour_de_source tour_de_source Public

   Forked from softwarekitty/tour_de_source

   Send your custom scanner on a tour of open source projects, constructing a report by visiting each project.

   Java