Popular repositories Loading

1. minisat-ml minisat-ml Public

   Forked from agurfinkel/minisat

   Optimizing minisat with machine learning

   C++ 1

2. AICSTeacher AICSTeacher Public

   A chat bot trained with notes from CS course

   Python

3. SIMPL-to-PRIMPL-Compiler SIMPL-to-PRIMPL-Compiler Public

   A compiler from a C-like imperative lang to assembly

   Racket

4. 3D-Car-Game-Unity 3D-Car-Game-Unity Public

   A 3D game where one drive a car through a series of obstacles and avoiding attack by NPCs

   ASP.NET

5. cj cj Public

   Personal Website

   HTML

6. compiled-lexical-effect-handler-formalization compiled-lexical-effect-handler-formalization Public

   Coq