CS PhD student at RIT
-
Rochester Institute of Technology
- Rochester, NY
- http://hm0880.github.io/
Stars
Common Interface to Boolean Satisfiability Solvers from Common Lisp
Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.
Kenichi Asai's reflective programming language Black