vyasakanksha/satvc
The TwoManySat's Verifying Compiler
A Framework to Study Adaptations Across Media Cultural Paradigms. This project is my thesis towards my Humanities Major.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
The TwoManySat's Verifying Compiler
A solver for 2-sat formulas
A todo list
Experiments with computer vision