vyasakanksha/satvc
The TwoManySat's Verifying Compiler
Developer Profile
vyasakanksha
Discovered public repositories for vyasakanksha in the GitHub catalog.
vyasakanksha/2Sat
A solver for 2-sat formulas
vyasakanksha/TellTheCow
A todo list
vyasakanksha/Fox
Experiments with computer vision
vyasakanksha/Tengine
The Power of Ten Engine is a physics-y and math-y physics engine. More later.
vyasakanksha/The-Algebra-of-Quaternions
A study of the underlying algebraic structures for the different interpolation techniques.
vyasakanksha/tolkienizer
An AI system that, given words from a particular language, will produce similar words
vyasakanksha/Adaptations
A Framework to Study Adaptations Across Media Cultural Paradigms. This project is my thesis towards my Humanities Major.
vyasakanksha/The-Pulverizer
Experiments with Cryptography and the programming language Go.
vyasakanksha/asteria
A 3 dimensional game engine
vyasakanksha/automaton
2D-Isometric game being developed by the Clarkson Open Source Institute.