Popular repositories Loading

1. motivational-interviewing-skill motivational-interviewing-skill Public

   A motivational interviewing skill for AI agents. Helps work through ambivalence, stuckness, and decisions.

   14

2. VagrantHyperV VagrantHyperV Public archive

   Ruby 9 1

3. symex-is-not-quite-all-you-need symex-is-not-quite-all-you-need Public

   Draft paper: extracting formal specs from PL implementations using symbolic execution

   TeX 4

4. learnability learnability Public

   Lean 3 1

5. the_stack the_stack Public archive

   Ruby 2

6. wtf_python wtf_python Public archive

   Python 2