vidavakil/vidavakil.github.io
Vida's blog
Developer Profile
vidavakil
Discovered public repositories for vidavakil in the GitHub catalog.
vidavakil/InverseKinematics
Sample C++ code for solving Inverse Kinematics for a robotic arm. This code was developed during the author's Masters studies in Artificial Intelligence and Robotics.
vidavakil/Sphinx_Hierarchical_Formal_Verification
SPHINX is a design verification tool for asynchronous circuits and systems which has the capability of verifying speed independence and conformance of asynchronous circuits to their specifications. The original source code of this project is reposited as-is on Github. For more information about this project please visit: http://async.usc.edu/index.php/research/8-research/8-sphinx
vidavakil/edX_SaaS_hw4_rottenpotatoes
Public repository.
vidavakil/edX_SaaS_hw3_rottenpotatoes
HW 3 skeleton for doing BDD with RottenPotatoes