Popular repositories Loading

1. dynamic-program-embedding dynamic-program-embedding Public

   the code for three models introduced in DYNAMIC NEURAL PROGRAM EMBEDDINGS FOR PROGRAM REPAIR (ICLR 18)

   Python 33 8

2. Code-Hunt Code-Hunt Public

   Forked from microsoft/Code-Hunt

   Code Hunt is a serious education game which has been played by over 140,000 students and enthusiasts over the past year. In the process we have collected over 1.5M programs. We hope that researcher…

   1 1

3. infer infer Public

   Forked from facebook/infer

   A static analyzer for Java, C, C++, and Objective-C

   OCaml