vyasakanksha/satvc
The TwoManySat's Verifying Compiler
An AI system that, given words from a particular language, will produce similar words
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